steven_wu added a comment.
Herald added a project: LLVM.
Sorry for following up late on the patch. Removing the reachability testing for
the exit block causes false positive for infinite loop cases like this:
void l() {
static int count = 5;
if (count >0) {
count--;
l();
}
while (true) {}
}
Can you take a look? I was attempting to write a fix but then I figure out it
is very much the same as old algorithm.
Repository:
rL LLVM
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D43737/new/
https://reviews.llvm.org/D43737
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
