Comment 5 for bug 1319121

get_state returns either an iterator or nullptr. nullptr evaluates to false and then will enter the alleged "Assuming 'state' is non-null" branch like it should, so I'd say that this is a false positive.

We have the same code in building.cc, seems like that one doesn't trigger anything.