https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111312
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Another example can be seen here: https://gcc.gnu.org/pipermail/gcc-patches/2023-August/628759.html in: gcc/testsuite/c-c++-common/analyzer/overlapping-buffers.c where -Wanalyzer-overlapping-buffers only catches cases that the optimizer doesn't see; others it misses due to them being optimized away due to undefined behavior.
