[Bug tree-optimization/117287] [13 Regression] assume attribute related miscompilation

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117287
Bug 117287 depends on bug 117249, which changed state.

Bug 117249 Summary: [12 Regression] --disable-checking is broken since r5-2450
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117249

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED