projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a0373a) | 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)
commit97608445b12e93b95111031492d8a46a97f33db3
tree1d1d877fe07547259e43c3cf1a9677dc6ad2894btree | snapshot
parent2a0373a2db804c2b290c4b8bd94d575f79f13036commit | 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

llvm-svn: 328173
clang/lib/Sema/AnalysisBasedWarnings.cpp diff | blob | history
clang/test/SemaCXX/warn-infinite-recursion.cpp diff | blob | history
Domain: System / Toolchain;