[Bug analyzer/98223] gcc.dg/analyzer/pr94851-1.c XPASSes

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
i.e. it rejects the path as infeasible since p_2 needs to be NULL and then
non-NULL for the path conditions to be satisfied