[Bug ada/34117] Please enable overflow checks by default (-gnato)

charlet at gcc dot gnu dot org gcc-bugzilla@gcc.gnu.org
Wed Nov 21 06:55:00 GMT 2007



------- Comment #5 from charlet at gcc dot gnu dot org  2007-11-21 06:55 -------
This report is confused: range checking is enabled by default.

-gnato is about overflow checking, not range checking.

Arno


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Please enable range checks  |Please enable overflow
                   |by default (-gnato)         |checks by default (-gnato)


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34117



More information about the Gcc-bugs mailing list