https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80470
--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> --- Created attachment 41233 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41233&action=edit Another test-case There's another test-case which is sensible to -O, which causes an inlining to happen and after that a constraint can't be satisfied.