https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70646
Jan Hubicka <hubicka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |mjambor at suse dot cz --- Comment #18 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Jakub: There is indeed aliasing issue, but with -fno-strict-aliasing the bug is the same. Apparently this is ipa-prop bug, because ipa-prop does not track size of accesses and thus it does not know there is a mismatch. The value produced is thus not INT_MAX as intended but 255. This is Martin's area.