[Bug c++/86619] Missed optimization opportunity with array aliasing

[mickey.veksler at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86619

--- Comment #2 from Michael Veksler <mickey.veksler at gmail dot com> ---
>> type-based alias analysis doesn't distinguish between int[2] and int[3]. 

Is it just the way GCC implements type-based alias analysis, 
or is it defined that way in the C and C++ standards?

I suspect  that the weaker alias analysis of arrays (int [size] and
std::array<int, size>) is one of the things that make C++ slower than 
Fortran on some benchmarks.