[Bug c++/91445] [9 Regression] After memset, logical && operator produces false result, optimization level >=O1

[rguenth at gcc dot gnu.org]

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

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
On trunk the following hunk "fixed" it.

@@ -2054,7 +2088,9 @@ vn_reference_lookup_3 (ao_ref *ref, tree
        }
     }

-  if (*disambiguate_only)
+  /* If we are looking for redundant stores do not create new hashtable
+     entries from aliasing defs with made up alias-sets.  */
+  if (*disambiguate_only || !data->tbaa_p)
     return (void *)-1;

   /* If we cannot constrain the size of the reference we cannot