[Bug analyzer/108455] -Wanalyzer-deref-before-check false positive seen in git pack-revindex.c

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108455

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Perhaps should only complain if the deref site dominates the check site in the
supergraph (and both are in the same function?)