https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89546
--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #3) > ...But in the sra pass dump that possibility is gone: I am still double checking because it is easy to make a mistake but I have seen a (potential) path in the sra dump, just not in the optimized dump. Also, I believe the testcase passes with -fstrict-aliasing (can you please check?), which would hint at some problems with aliasing... (of course, those might be created by SRA too).