This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

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

From: "charlet at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
To: gcc-bugs at gcc dot gnu dot org
Date: 21 Nov 2007 06:55:36 -0000
Subject: [Bug ada/34117] Please enable overflow checks by default (-gnato)
References: <bug-34117-286@http.gcc.gnu.org/bugzilla/>
Reply-to: gcc-bugzilla at gcc dot gnu dot org


------- 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

References:
- [Bug ada/34117] New: Please enable range checks by default (-gnato)
  - From: ludovic at ludovic-brenta dot org

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]