https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110281
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- That requires detailed analysis nobody performed yet. csmith is known to generate invalid programs sometimes, especially with some options, and only such analysis can give definite answers. Though, two independent compilers behaving the same and -fno-strict-aliasing option making it go away is a strong indication it could very well be a bug in the generated testcase.