Re: Strict aliasing, is it OK?

[Victor Porton <porton@narod.ru>]

Victor Porton wrote:

> I do unchecked conversions (in both directions) between Handle_Type and
> My_Dummy_Access.
> 
> Everytime I refer to Handle_Type, it is real Handle_Type.
> 
> But there is several Handle_Type (defined in different packages). Let us
> denote them Handle_Type1, Handle_Type2, Handle_Type3, ...
> 
> When I refer to My_Dummy_Access it may be any one of Handle_Type1,
> Handle_Type2, Handle_Type3, ...
> 
> But I never convert Handle_TypeN into Handle_TypeM for N/=M.
> 
> I also never use My_Dummy_Access to anything except to convert it into
> Handle_TypeX.

Or (I forgotten that) I also may pass My_Dummy_Access to an imported C 
function.

> Question: Are these restrictions enough for the compiler to the right
> thing (that is not something counterintuitive)?
> 
> What is the right fix for the warning? Shall I add pragma
> No_Strict_Aliasing?
> 
-- 
Victor Porton - http://portonvictor.org