Le 18/09/2022 à 12:23, Thomas Koenig a écrit :
I think some of the desired behavior can still be salvaged. For example, for
(...)
clobbers for the whole array can still be generated, but not for call foo(a(2),2) so one would have to look at the lower bound.
Well, my patches were for scalars only, I prefer to stay away from arrays; they are just too full of traps.
