Re: New Version of the PragmAda Reusable Components Available

["Björn Persson" <bjorn@xn--rombobjrn-67a.se>]

Jeffrey Carter wrote:
> On 03/16/2013 04:54 PM, Björn Persson wrote:
>  > · GCC 4.7 and 4.8 emit four instances of this warning:
>  >
>  > pragmarc-list_bounded.ads:23:04: warning: in instantiation at 
> pragmarc-list_bounded_unprotected.adb:279
>  > pragmarc-list_bounded.ads:23:04: warning: cannot return a local value by 
> reference
>  > pragmarc-list_bounded.ads:23:04: warning: "Program_Error" will be raised at 
> run time
>  >
>  > I haven't examined it further but I figured you might want to look into
>  > it.
> 
> The PragmARCs are Ada 95, and return limited values. Compiling them with a 
> compiler for a more recent version of the language is expected not to work.

If I try to compile without any special switches I get the hard error
"(Ada 2005) cannot copy object of a limited type (RM-2005 6.5(5.5/2))"
in seven different places. The warning above is when I use -gnat95,
which is supposed to make GNAT compile Ada 95, and it happens only at
pragmarc-list_bounded_unprotected.adb:279, though in four
instantiations.

I'm not saying it's not a compiler bug though.

Björn Persson