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

[ebotcazou at gcc dot gnu dot org]

-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-03-08 08:58:26
               date|                            |
            Summary|Please enable overflow      |enable overflow checks by
                   |checks by default (-gnato)  |default (-gnato)


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