https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102823
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Yeah, I think I've seen this exact bug before. Note while 'int' and 'unsigned' inter-operate wrt TBAA two structure types differing only in the signedness of a _member_ do not.