Re: Elaboration_check For Instantiations

[csampson@cod.nosc.mil (Charles H. Sampson)]

In article <dewar.877716708@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>Tucker said
>
><<Well, then I guess these compilers all had a common bug.  Alternatively,
>the code was compiled with Elaboration_Check suppressed.  You
>could add "pragma Suppress(Elaboration_Check);" to the above code,
>and it would probably not raise Program_Error (though it would then be
>officially erroneous, per RM95 11.5(26)).>>
>
>
>Actually, GNAT would still raise Program_Error. This particular case is
>easily caught at compile time, and GNAT actually replaces the instantiation
>by a "raise Program_Error" statement. There is no runtime check to be
>suppressed, so the pragma Suppress has no effect!

     Are you sure about that, Robert?  (Never fearing, he leaps back 
into the fray.)  11.5(2) says that language-defined checks, which in-
clude Elaboration_check, have to be made at run time and 3.11(14) says 
that Program_error is raised if Elaboration_check fails.

     Of course, 11.5(1) says that pragma Suppress "gives permission to 
an implementation" to omit the check, so the GNAT implementation is 
technically correct, at least.

 				Charlie


--
******

    If my user name appears as "csampson", remove the 'c' to get my
correct e-mail address.