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.
