r353984 - Restore Check for Unreachable Exit Block in -Winfinite-recursion

2019-02-13 Thread Robert Widmann via cfe-commits
Author: codafi Date: Wed Feb 13 14:22:23 2019 New Revision: 353984 URL: http://llvm.org/viewvc/llvm-project?rev=353984&view=rev Log: Restore Check for Unreachable Exit Block in -Winfinite-recursion Summary: When this was rewritten in D43737, the logic changed to better explore infinite loops. Th

r328173 - Improve -Winfinite-recursion

2018-03-21 Thread Robert Widmann via cfe-commits
Author: codafi Date: Wed Mar 21 20:16:23 2018 New Revision: 328173 URL: http://llvm.org/viewvc/llvm-project?rev=328173&view=rev Log: Improve -Winfinite-recursion Summary: Rewrites -Winfinite-recursion to remove the state dictionary and explore paths in loops - especially infinite loops. The new