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]

Ada front end Assert_Failure


Greetings!

An assertion was hit in the Ada front end.

Note that the test code (attached) is not semantically correct.
For me, the bug manifests in both 4.3.2 and the latest snapshot
4.4-20090206.

Configure options:
  --disable-multilib --enable-languages=c,ada

System type:
  $ uname -ro
  2.6.27.12-170.2.5.fc10.x86_64 GNU/Linux

Output:
  $ gcc -c bug.adb
  +===========================GNAT BUG DETECTED==============================+
  | 4.4.0 20090206 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure sinfo.adb:1987|
  | Error detected at bug.adb:17:26                                          |
  | Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
  | Use a subject line meaningful to you and us to track the bug.            |
  | Include the entire contents of this bug box in the report.               |
  | Include the exact gcc or gnatmake command that you entered.              |
  | Also include sources listed below in gnatchop format                     |
  | (concatenated together with no headers between files).                   |
  +==========================================================================+

  Please include these source files with error report
  Note that list may not be accurate in some cases,
  so please double check that the problem can still
  be reproduced with the set of files listed.

Please let me know if further info is needed.

Thanks,
Steve

Attachment: bug.ads
Description: Text document

Attachment: bug.adb
Description: Text document


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