[Bug ada/16527] New: 3.3.4 (i486-slackware-linux-gnu) in substitute_in_expr, at tree.c:2039

["bernard dot weisser at wanadoo dot fr" <gcc-bugzilla at gcc dot gnu dot org>]

BUGS_REPORTED 16> gcc -v                                                      
Reading specs from /usr/lib/gcc-lib/i486-slackware-linux/3.3.4/specs
Configured with: ../gcc-3.3.4/configure --prefix=/usr --enable-shared
--enable-threads=posix --enable-__cxa_atexit --disable-checking --with-gnu-ld
--verbose --target=i486-slackware-linux --host=i486-slackware-linux
Thread model: posix
gcc version 3.3.4

+ gcc -c string_lists.adb

+===========================GNAT BUG DETECTED==============================+
| 3.3.4 (i486-slackware-linux-gnu) in substitute_in_expr, at tree.c:2039   |
| Error detected at string_lists.adb:5:74                                  |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| 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.                     |
+==========================================================================+

package String_Lists is
   pragma Elaborate_Body;

   type String_List (
      Maxcard: Natural;
      Maxlen : Natural)
   is private;

private

   type Index_List is array (Natural range <>) of Natural;
   type String_List (
      Maxcard: Natural;
      Maxlen : Natural)
   is record
      Card : Natural:= 0;
      Lasts: Index_List(0..Maxcard) := (others=> 0);
      Value: String(1..Maxlen);
   end record;

end String_Lists;
package body String_Lists is

   function "+" (Left: String_List; Right: String_List) return String_List is
      List : String_List (Maxcard => Left.Card             + Right.Card,
                          Maxlen  => Left.Lasts(Left.Card) +
Right.Lasts(Right.Card));
   begin
      return List;
   end "+";

end String_Lists;

-- 
           Summary: 3.3.4 (i486-slackware-linux-gnu) in substitute_in_expr,
                    at tree.c:2039
           Product: gcc
           Version: 3.3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bernard dot weisser at wanadoo dot fr
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i486-slackware-linux
GCC target triplet: i486-slackware-linux


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