Re: Warning when compiling s-interr.adb runtime file with -gnatc

[Adam Beneschan <adam@irvine.com>]

On Sep 25, 3:17 pm, David Sauvage <sauvage.da...@gmail.com> wrote:
> When compiling s-interr.adb runtime file with -gnatc [1] produce a
> warning [2]. This warning is not raise when compiling wihtout -gnatc.
>
> Does the target and source types [3] really have different sizes ? or
> may be it's a problem on gnat ?
>
> [1]
> -gnatc    Check syntax and semantics only (no code generation)
>
> [2]
> $ gcc-4.3 -c -gnatpg -nostdinc -nostdlib -g -gnatc -I- -gnatA /usr/lib/
> gcc/i486-linux-gnu/4.3.2/rts-native/adainclude/s-interr.adb -I/usr/lib/
> gcc/i486-linux-gnu/4.3.2/rts-native/adainclude/
> s-interr.adb:569:07: warning: types for unchecked conversion have
> different sizes
>
> [3]
> s-interr.ads
>    type Parameterless_Handler is access protected procedure;
> s-interr.adb
>    564        type Fat_Ptr is record
>    565           Object_Addr  : System.Address;
>    566           Handler_Addr : System.Address;
>    567        end record;
>    568
>    569        function To_Fat_Ptr is new Ada.Unchecked_Conversion
>    570          (Parameterless_Handler, Fat_Ptr);
>

I get the same warning with similar type declarations, but if I don't
use -gnatc and have my program output the 'Size of both types, it says
64 for both.  Strange...

                                -- Adam