[PATCH] D27092: Add RecursionChecker for finding infinite recursion

2017-03-06 Thread Anna Zaks via Phabricator via cfe-commits
zaks.anna added a comment. This is waiting for a resolution on a CallEvent API patch as described in https://reviews.llvm.org/D27091. This is blocked on https://reviews.llvm.org/D27091. Comment at: lib/StaticAnalyzer/Checkers/RecursionChecker.cpp:29 +// this patch. +REGISTER_

[PATCH] D27092: Add RecursionChecker for finding infinite recursion

2016-11-24 Thread Krzysztof Wiśniewski via cfe-commits
k-wisniewski created this revision. k-wisniewski added reviewers: zaks.anna, dcoughlin, NoQ, a.sidorin. k-wisniewski added a subscriber: cfe-commits. Herald added a subscriber: mgorny. This patch adds RecursionChecker for finding infinite recursion. I have refactored the checker quite thoroughly