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

[tobi at gcc dot gnu.org]

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

Tobias Schlüter <tobi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #48779|0                           |1
        is obsolete|                            |

--- Comment #8 from Tobias Schlüter <tobi at gcc dot gnu.org> ---
Created attachment 48927
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48927&action=edit
Reduced testcase (32bit, preprocessed).

I've further reduced the testcase down to 800Kb.  Again this is with -m32.  I
removed the definition of void Eigen::internal::check_for_aliasing, so this
will appear in the assembly, but it's a no-op.

New version attached, compiler explorer version here
https://godbolt.org/z/h6YMeq

I've also reproduced the bug with 10.2