https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100053
--- Comment #10 from rguenther at suse dot de <rguenther at suse dot de> --- On April 13, 2021 5:28:37 PM GMT+02:00, "qinzhao at gcc dot gnu.org" <gcc-bugzi...@gcc.gnu.org> wrote: >https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100053 > >--- Comment #9 from qinzhao at gcc dot gnu.org --- >(In reply to Richard Biener from comment #3) >> It would be nice if the reduced testcase could be sanitized to throw >less >> diagnostics with -Wall, likewise if it were a runtime testcase. >> >> Reduced: >> >> int __attribute__((returns_twice,noipa)) x() { return 0; } >> void __attribute__((noipa)) ar() {} >> void __attribute__((noipa)) as() { __builtin_abort (); } >> int a1, a2, a3; >> void __attribute__((noipa)) v(int init) >> { >> if (!init) { >> as(); >> if (a1) >> goto aq; >> if (x ()) >> if (a2) >> as(); >> } >> if (!init) >> a3 = 1; >> ar(); >> aq: >> if (!init) >> as(); >> } >> >> int main() >> { >> v(1); >> return 0; >> } > >Hi, thanks for the further reduced testing case. >I am wondering whether you did the above further reducing manually? Yes, I did.
