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

["Randy Brukardt" <randy@rrsoftware.com>]

"David Botton" <david@botton.com> wrote in message 
news:afb6fe82-1f67-49a8-b4b1-f814a71ba8fd@googlegroups.com...
>> That is one of the reasons why in-out's were not allowed for functions in
>> Ada 83. The code is clearly erroneous because the computation order is 
>> not
>> defined. Possibly Token_End is called before Token_Start!
>
> A programmer having to worry about order of operation in a concatenation
> operation is a language flaw in my opinion. I can accept the issue in
> evaluation order of Boolean expressions or numerics (and knew of that),
> but not in non numeric types.

Lots of people would agree with you, but neither J. Ichbiah or STT would, so 
Ada doesn't define the order of evaluation of almost anything: parameters 
(not just concat, but in all subprogram calls), aggregate components, and 
many more things. It would be way too disruptive to try to introduce any 
such rules now, especially as there are legal dispatching calls that cannot 
be evaluated left-to-right.

The rules in 6.4.1 are supposed to prevent the worst problems, but of course 
they only work if correctly implemented.

I'd suggest submitting one or more ACATS tests. :-)

                    Randy.