[Bug tree-optimization/123031] False positive -Warray-bounds triggered by std::sort

[gccbugs@andreas-borchert.de]

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

--- Comment #2 from Andreas F. Borchert <gccbugs@andreas-borchert.de> ---
On the compiler explorer (https://godbolt.org/) this example is compiled
without warnings by g++ 13.4. g++ 14.1, however, delivers the warning as
to be seen above. Likewise the current trunk version.