[Bug ada/14386] New: using an enumeration type ends up in assert failure

["www dot sd at gmx dot net" <gcc-bugzilla at gcc dot gnu dot org>]

Try the following procedure...

procedure Barf is
   type Foo is (Bar);
   type Baz is array (Foo) of Foo;
begin
   for Wombat in Baz'Range loop
      case Wombat is when Bang => null; end case;
   end loop;
end Barf;


schiller:scratch> gnatmake barf
gnatgcc -c barf.adb
+===========================GNAT BUG DETECTED==============================+
| 3.15p  (20020523) (sparc-unknown-linux-gnu) Assert_Failure namet.adb:518 |
| Error detected at barf.adb:6:27                                          |
| Please submit bug report by email to report@gnat.com.                    |
| Use a subject line meaningful to you and us to track the bug.            |
| (include your customer number #nnn in the subject line).                 |
| Include the entire contents of this bug box in the report.               |
| Include the exact gnatgcc or gnatmake command that you entered.          |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
| (use plain ASCII or MIME attachment, or FTP to your customer directory). |
| See README.GNATPRO for full info on procedure for submitting bugs.       |
+==========================================================================+

Please include these source files with error report

barf.adb

I tried this on a number of platforms. Works always ;-)

-- 
           Summary: using an enumeration type ends up in assert failure
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: www dot sd at gmx dot net
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: many
  GCC host triplet: many
GCC target triplet: many


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