This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/34117] Please enable range checks by default (-gnato)
- From: "jeff at thecreems dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 16 Nov 2007 14:27:30 -0000
- Subject: [Bug ada/34117] Please enable range checks by default (-gnato)
- References: <bug-34117-286@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #1 from jeff at thecreems dot com 2007-11-16 14:27 -------
Seems like a good idea. Since we often say that correctness should come before
performance when it comes to optimization, it has always seemed odd to me that
performance was the default mode of operation.
We can complain all we want that users should read the manual before they start
using the compiler but the fact is they don't and probably never will.
I do wonder if perhaps a new flag that just disables range checking to get the
'old' behavior would be warranted?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34117