lebedev.ri added a comment.
In https://reviews.llvm.org/D41456#961826, @malcolm.parsons wrote:
> This check could also handle else after goto.
Yes, certainly. Though i'm not too sure on the restrictions.
The obvious precondition is, the label can to be defined anywhere **except**
after the `goto` in the same (or child) compound statement:
if(condition) {
goto label:
label: ; // <- false-positive
} else ...
Repository:
rCTE Clang Tools Extra
https://reviews.llvm.org/D41456
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
