https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123801
--- Comment #15 from rguenther at suse dot de <rguenther at suse dot de> --- On Thu, 29 Jan 2026, siddhesh at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123801 > > --- Comment #14 from Siddhesh Poyarekar <siddhesh at gcc dot gnu.org> --- > OK, so any pointer that points into the middle of an object, which can be > replaced with a different element will cause this. That would be structs and > unions both, not just unions. There's related PRs that show conditional equivaleces can even relate possibly adjacent variables, not only members.
