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

[jeff at thecreems dot com]

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