https://llvm.org/bugs/show_bug.cgi?id=27645
Richard Smith <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED CC| |[email protected] Resolution|--- |INVALID --- Comment #4 from Richard Smith <[email protected]> --- GCC fails to validate that indirect gotos are sane (note that it accepts your code even if you change '&&first' to '&&second'). Clang assumes that any indirect goto can jump to any possible target within the function. The dynamic execution behavior of your program is irrelevant. Statically, it has an indirect goto (the first one), and it has a label whose address is taken ('second:'), and it would be ill-formed to jump from that goto to that label, so the program is ill-formed. We are not likely to change this behavior to allow your code. -- You are receiving this mail because: You are on the CC list for the bug.
_______________________________________________ llvm-bugs mailing list [email protected] http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
