> Can you try and add > > pragma Weak_External (Var); > >on line 8 and see whether it passes? If so, you can commit the patchlet.
The test still fails with the following change: --- /opt/gcc/_clean/gcc/testsuite/gnat.dg/specs/linker_alias.ads 2013-08-18 17:39:22.000000000 +0200 +++ /opt/gcc/work/gcc/testsuite/gnat.dg/specs/linker_alias.ads 2013-08-19 08:52:35.000000000 +0200 @@ -5,5 +5,6 @@ package Linker_Alias is Var : Integer; -- { dg-error "aliased to undefined symbol" } pragma Export (C, Var, "my_var"); pragma Linker_Alias (Var, "var2"); + pragma Weak_External (Var); end Linker_Alias; Dominique