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

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

[www dot sd at gmx dot net]

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

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

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2004-03-02 17:27 -------
Note that you report is inconsistent: you report is against GCC 3.3.1,
but the bug box mentions 3.15p.

In any case, there's no bug box and a proper error message with GCC 3.4

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4.0


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

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

[www dot sd at gmx dot net]

------- Additional Comments From www dot sd at gmx dot net  2004-03-03 07:27 -------
(In reply to comment #1)
> Note that you report is inconsistent: you report is against GCC 3.3.1,
> but the bug box mentions 3.15p.

That's right; on the x86 machines I use 3.15p; however, there is no check box
for this in the error report form. For 3.3.1 I used a Solaris Sparc machine that
produces the same error message.

> In any case, there's no bug box and a proper error message with GCC 3.4

Any chance for a fix in 3.15p?

d.


-- 


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

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

[charlet at act-europe dot fr]

------- Additional Comments From charlet at act-europe dot fr  2004-03-03 08:17 -------
Subject: Re:  using an enumeration type ends up in assert failure

> That's right; on the x86 machines I use 3.15p; however, there is no check box
> for this in the error report form. For 3.3.1 I used a Solaris Sparc machine that
> produces the same error message.

So please make sure your reports are consistent in the future, that'll
help confusion, thanks.

> Any chance for a fix in 3.15p?

3.15p is over, there is no chance for any change in a done release.

In any case, 3.15p is not an FSF release, so you are using the wrong
channel. Please only report/discuss issues with the FSF releases on this
channel, thanks.

Arno


-- 


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