🚀 go-pugleaf

>Show me the optimizer that makes these assumptions, and I'll show you one that
>breaks the code of every customer we have, and I am not sure I believe it, in
>any case.  Do you mean it is even illegal to pass the same argument in two
>different positions of a formal parameter list?  For instance:
>
>subroutine foo (x, y)
>
>...
>
>call foo (a, a)

Before the whole world jumps on my case, I now know this *is* illegal.
That's what I get for deciding what legal Fortran is based on only a textbook
and code our customers have ported from the Vax :-(
It apparently is a big enough concern that we had to provide an option to
turn off assumptions about no aliasing, and many of customers find themselves
forced to use it.