]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57091d2) | patch
Improve -Winfinite-recursion
authorRobert Widmann <devteam.codafi@gmail.com>
Thu, 22 Mar 2018 03:16:23 +0000 (03:16 +0000)
committerRobert Widmann <devteam.codafi@gmail.com>
Thu, 22 Mar 2018 03:16:23 +0000 (03:16 +0000)
commitac4ba722eda7d90a9414575c9bd80e1416056f5f
treefb09f7af63062b8a49a4887664b94419e55f1b07tree | snapshot
parent57091d2e94c7f8be08a6e650d9426684fe56e4a0commit | diff
Improve -Winfinite-recursion

Summary: Rewrites -Winfinite-recursion to remove the state dictionary and explore paths in loops - especially infinite loops.  The new check now detects recursion in loop bodies dominated by a recursive call.

Reviewers: rsmith, rtrieu

Reviewed By: rtrieu

Subscribers: lebedev.ri, cfe-commits

Differential Revision: https://reviews.llvm.org/D43737

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@328173 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Sema/AnalysisBasedWarnings.cpp diff | blob | history
test/SemaCXX/warn-infinite-recursion.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.