Re: [Ada] Fix wrong code for loops with convoluted control flow

2018-11-13 Thread Eric Botcazou
> Tested on x86_64-suse-linux, applied on the mainline, 8 and 7 branches. > > > 2018-11-08 Eric Botcazou > > * fe.h (Suppress_Checks): Declare. > * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions > only if checks are not suppressed and -faggressive-loop-op

[Ada] Fix wrong code for loops with convoluted control flow

2018-11-08 Thread Eric Botcazou
This is a regression present since the -faggressive-loop-optimizations option was introduced, leading to wrong code in some cases for "while" loops with convoluted control flow. It's caused by a bad interaction between three different things: specific support we have in gigi for -fnon-call-exce