[Bug ada/50197] New: Assert_Failure sinfo.adb:2738 with default generic formal parameters

[nicolas.boulenguez at free dot fr]

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

             Bug #: 50197
           Summary: Assert_Failure sinfo.adb:2738 with default generic
                    formal parameters
    Classification: Unclassified
           Product: gcc
           Version: 4.6.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: nicolas.boulenguez@free.fr


Created attachment 25109
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25109
Source causing the bug box

| 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:2738                |
| Error detected at a.ads:9:7                                              |
| 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-4.6 or gnatmake command that you entered.          |
gcc -c a.ads
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
See attached a.ads