[Bug ada/34509] New: Bug box in expand_expr_real_1, at expr.c:6711 on legal program

ludovic at ludovic-brenta dot org gcc-bugzilla@gcc.gnu.org
Mon Dec 17 09:51:00 GMT 2007


package pak1 is
   pragma elaborate_body;

   subtype myint is integer range 1..10;

   type T1(n: myint) is
   record
      s: string(1..n);
   end record;

   max: constant myint;
   pragma import(C, max);

   subtype T2 is T1 (max);

end pak1;

package body pak1 is

   function f1 return T2 is
      x1: T2;
   begin
      return x1;
   end f1;

   function f2 return T2 is
      x2: T2;
   begin
      return x2;
   end f2;

end pak1;


gnatmake -gnat05 pak1
gcc-4.1 -c -gnat05 pak1.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) GCC
error:|
| in expand_expr_real_1, at expr.c:6711                                    |
| Error detected at s-secsta.ads:64:14                                     |

+===========================GNAT BUG DETECTED==============================+
| 4.2.2 (i686-unknown-linux-gnu) in expand_expr_real_1, at expr.c:6930     |
| Error detected at s-secsta.ads:64:14                                     |


-- 
           Summary: Bug box in expand_expr_real_1, at expr.c:6711 on legal
                    program
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ludovic at ludovic-brenta dot org


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



More information about the Gcc-bugs mailing list