.On Tue, Sep 12, 2017 at 8:29 AM, Theodore Papadopoulo <theodore.papadopo...@inria.fr> wrote: > Another one that might be interesting is -funsafe-loop-optimizations. > In most cases people write loops assuming simple finite loops (no > overflow). Crippling optimization for the small amount of people (system > programmers ?) that use such strange loops seems counterproductive. It > would be best if such loops can be marked with an attribute in some way > and that the general case just assumes that all loops are finite...
-funsafe-loop-optimizations is a nop in GCC 7 and above. Since https://gcc.gnu.org/ml/gcc-patches/2016-07/msg00956.html . Thanks, Andrew