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