[Bug ada/16212] New: Bug box in Gigi, code=316, on legal Ada 83 program

[ludovic dot brenta at insalien dot org]

pragma Ada_83;
procedure Test_251265(x: integer) is
begin
   case x is
      when integer'last +1 => null;
      when 0               => null; -- line 5
      when others          => null;
   end case;
end Test_251265;

$ gnatmake -q -O1 test_251265
+===========================GNAT BUG DETECTED==============================+
| 3.15p  (20020523) (i486-pc-linux-gnu) Gigi abort, Code=316               |
| Error detected at test_251265.adb:4:9                                    |
| 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

test_251265.adb

compilation abandoned
gnatmake: "test_251265.adb" compilation error

-- 
           Summary: Bug box in Gigi, code=316, on legal Ada 83 program
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ludovic dot brenta at insalien dot org
                CC: gcc-bugs at gcc dot gnu dot org


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