[Bug middle-end/96564] [13/14/15/16 Regression] New maybe use of uninitialized variable warning since r11-959

[law at gcc dot gnu.org]

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

--- Comment #23 from Jeffrey A. Law <law at gcc dot gnu.org> ---
What I was suggesting was to use the flow sensitive capabilities of DOM to
track the fact that the pointers can't be NULL at the comparison point.  Then
use an updated API into the alias oracle that would essentially ask "can
pointers A and B be the same, ignoring NULL".  Or something along those lines.