https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57359
--- Comment #26 from rguenther at suse dot de <rguenther at suse dot de> --- On Mon, 20 Apr 2020, pascal_cuoq at hotmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57359 > > --- Comment #25 from Pascal Cuoq <pascal_cuoq at hotmail dot com> --- > Would it be reasonable to have three settings for -fstrict-aliasing, rather > then the current two? > > - off > - strict > - assume-no-reuse > > (I would let you find a better name for the third one.) I think it's clearly a GCC bug we need to fix, for users we might want to give more control in telling the compiler about loop dependences. So no, I don't like another -f[no-]strict-* option.