rtrieu added a comment.
Can you explain the new algorithm for checking recursive calls?
>From the test, this code looks like what you are testing for, but it doesn't trigger the warning.
void f() {
while(true) {
f();
}
}
https://reviews.llvm.org/D43737