[Bug ada/16101] New: Illegal program not detected, pragma Convention after freeze

ludovic dot brenta at insalien dot org gcc-bugzilla@gcc.gnu.org
Sun Jun 20 11:37:00 GMT 2004


package Test_248687 is
   procedure p1;
   procedure p2 renames p1;
   type T is access procedure;
   x: T := p2'access;  -- p2'access freezes p1 & p2 with convention = Ada
   pragma Convention(C, p1);  --ERROR: convention applied after p1 frozen
end Test_248687;


I expect:
test_248687.adb:6:10: "p1" is already frozen

Instead I get:
cannot generate code for file test_248687.ads (package spec)
to check package spec for errors, use -gnatc
gnatmake: "test_248687.ads" compilation error

With gcc -c -gnatc I get nothing.

-- 
           Summary: Illegal program not detected, pragma Convention after
                    freeze
           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=16101



More information about the Gcc-bugs mailing list