https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125250
--- Comment #14 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 12 May 2026, amonakov at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125250 > > Alexander Monakov <amonakov at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |amonakov at gcc dot gnu.org > > --- Comment #13 from Alexander Monakov <amonakov at gcc dot gnu.org> --- > The original testcase has 'g0' declared as 'short' in global scope, then main > takes its address into 'g4', then f5 has 'g1 = *(_Bool *)g4;', attempting to > read a bool from a short. > > This seems to be a benign aliasing violation which has nothing to do with the > actual issue, and also easy to avoid: the newer testcase in comment #1 simply > declares 'g0' as _Bool instead. > > Since Sam noticed the problem and offered to fix it, I'd support changing the > testcase. Fine with me (changing g0 to _Bool).
