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?