Re: Is this a bug in my code or the compiler?

[Jacob Sparre Andersen <sparre@nbi.dk>]

David Botton wrote:

>    function Token_Start (Source : in out Awesome.Source.Source_Type'Class)
>                          return Character;
>    function Token_End (Source : in out Awesome.Source.Source_Type'Class)
>                        return String;

>    return Token_Start (Source) & Token_End (Source);

Doesn't your compiler warn you about modifying Source in two places
(roughly) at the same time?

GNAT 4.9 complains loudly about the roughly similar case:

   procedure P (A, B : in out T);

   P (C, C);

But I can't get it to complain about a simplified variation of your
case.

Maybe there is an AdaControl rule to detect this kind of problem.  But
it is an obviously faulty expression, so it would make most sense if it
was forbidden in the language.

Greetings,

Jacob
-- 
"It is very easy to get ridiculously confused about the
 tenses of time travel, but most things can be resolved
 by a sufficiently large ego."