Re: Compiler bug (Semantics of pargma inline)

[Niklas Holsti <nholsti@icon.fi>]

Per & Marianne sandberg wrote:
          [snip] 
>   function Until_Next return Duration;
>   pragma Inline (Until_Next);
          [snip]
>   select
          [snip]
>   or
>      when Is_Pending =>
>         delay (Until_Next);
>         Text_Io.Put_Line ("Gaah!");
>   end select;
          [snip]
> What appends is when pragma inline is used on the "Until_Next"
> function the function is called even if
> the guard "Is_Pending" evaluates to false and i considder this a bug
> regardles of inline or not.

According to LRM 9.7.1(15), defining the dynamic semantics of
the Selective Accept, "For an open delay_alternative, the
delay_expression is also evaluated." This implies, IMHO,
that for a closed delay_alternative, the delay_expression
should not be evaluated. Since Is_Pending returns False,
the alternative is closed, and Until_Next should not be
called. So I tend to agree with you.

Niklas Holsti
Working at but not speaking for Space Systems Finland Ltd.