https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63790
--- Comment #5 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> --- With -O2 -fno-ipa-icf, the expected error shows up. With only -O2, it does not. I attach the 088t.dom1 dump for both cases.
