[Bug ipa/95859] [10/11 regression] Statically true asserts not recognized as such with -O2, but with -O1, -Og, -O3

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

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

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Honza, could you please have a look?