[Bug tree-optimization/123864] [13/14/15/16 Regression] wrong code with __builtin_*_overflow() at -O2 and above

[jakub at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 63526
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63526&action=edit
gcc16-pr123864.patch

Full untested patch.