[Ada] Add switch to control warning on suspicious modulus
Paolo Bonzini
bonzini@gnu.org
Mon Jul 13 09:31:00 GMT 2009
On 07/13/2009 10:23 AM, Arnaud Charlet wrote:
> This patch implements the switches -gnatw.m/w.M to turn
> the warning for suspicious modulus (cf previous patch) values on and off.
> Given the test program:
>
> package badmod2 is
> type r is mod 32;
> end;
>
> If compiled with -gnatw.m or no switches, the following
> warning is generated:
It would be nice to have gnat.dg test for this.
Paolo
More information about the Gcc-patches
mailing list