Re: Avoiding warnings

[Stephen Leake <stephe_on_the_web@toadmail.com>]

"ada_wannabe" <luis.sainz@gmail.com> writes:

> Hello everybody. Suppose we have the next code that converts data types
> between different architectures:
>
> procedure p1(..)
> begin
> ...
> if Standard'Default_Bit_Order=1 then
> ...
> else
> ...
> end p1;
>
> When I compile the source, the GNAT compiler gives me the next warning:
>
> warning: condition is always True
>
> How can I avoid this warning?

Others have shown you how to avoid the warning, but they have not
pointed out that the warning is still correct; the 'else' clause of
this 'if' statement will _never_ be executed.

If you want to write code that converts record layouts between
machines of different endianness, you need something different.

See SAL.Endianness for one way to do it.
http://www.toadmail.com/~ada_wizard/ada/sal.html 

See Ada Letters September 2005, article by Randal Andress for an
extension of this technique.

See http://www.ada-auth.org/ai-files/grab_bag/bitorder.pdf for the
_right_ way to do it. Unfortunately, GNAT does not implement this. If
you care about that, send them an email asking them to implement
AI95-00133. If they get enough such emails, they will eventually
implement it :).

-- 
-- Stephe