Re: Record initialisation question

[DrPi <314@drpi.fr>]

Le 15/01/2021 à 19:15, Shark8 a écrit :
> On Friday, January 15, 2021 at 12:50:41 AM UTC-7, DrPi wrote:
>> Unchecked_Conversion is not compatible with no elaboration code.
> I find that surprising.
> Ada.Unchecked_Conversion is defined by the LRM as a compiler-intrinsic, with the Pure pragma*:
> 
> generic
>     type Source(<>) is limited private;
>     type Target(<>) is limited private;
> function Ada.Unchecked_Conversion(S : Source) return Target
>     with Convention => Intrinsic;
> pragma Pure(Ada.Unchecked_Conversion);
> 
> The GNAT source has, as its last three lines:
> pragma No_Elaboration_Code_All (Ada.Unchecked_Conversion);
> pragma Pure (Ada.Unchecked_Conversion);
> pragma Import (Intrinsic, Ada.Unchecked_Conversion);
> 
> So, if you are generating elaboration-code, then GNAT is broken.
> 
> * IIUC, this (Intrinsic+Pure) should make it essentially equivalent to C's bitwise reinterpretation-cast, and [IIRC] should qualify for 'static function call'.
> 
I made new tests.
You are right, Unchecked_Conversion() is not the culprit.
When I tried it, I got 'violation of restriction "No_Elaboration_Code"' 
due to other statements but didn't realized it.