[Bug ada/25838] Ada Assert Failure with Bug Box

Wed Jan 18 07:27:00 GMT 2006


------- Comment #1 from laurent at guerby dot net  2006-01-18 07:27 -------
Confirmed on 4.1 and 4.2:

gcc -c -gnat05 bugs_test.adb
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060112 (experimental) (i686-pc-linux-gnu) Assert_Failure
einfo.adb:507|
| Error detected at bugs_test.adb:22:9                                     |

gcc -c -gnat05 bugs_test.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20060116 (prerelease) (i686-pc-linux-gnu) Assert_Failure einfo.adb:507|
| Error detected at bugs_test.adb:22:9                                     |


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |laurent at guerby dot net
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-01-18 07:27:23
               date|                            |
            Summary|Assert Failure with Bug Box |Ada Assert Failure with Bug
                   |                            |Box


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