The analyzer saw a check for null so assumed it could happen,
but it must be impossible, because there’s an unconditional
dereference just below.

Change-Id: Ibdb0bd6aee89ff1eadd8442d35b7d33f54486eb4