diff options
| author | Robert Widmann <devteam.codafi@gmail.com> | 2019-02-13 22:22:23 +0000 |
|---|---|---|
| committer | Robert Widmann <devteam.codafi@gmail.com> | 2019-02-13 22:22:23 +0000 |
| commit | 04306d62a0329278102ac993d0147e09247f0780 (patch) | |
| tree | f7155c7a5041917f6ffe8088c10aaba11caae80a /llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp | |
| parent | de7a0a152648d1a74cf4319920b1848aa00d1ca3 (diff) | |
| download | bcm5719-llvm-04306d62a0329278102ac993d0147e09247f0780.tar.gz bcm5719-llvm-04306d62a0329278102ac993d0147e09247f0780.zip | |
Restore Check for Unreachable Exit Block in -Winfinite-recursion
Summary:
When this was rewritten in D43737, the logic changed to better explore infinite loops. The check for a reachable exit block was deleted which accidentally introduced false positives in case the exit node was unreachable.
We were testing for cases like this, but @steven_wu provided an additional test case that I've included in the regression tests for this patch.
Reviewers: steven_wu, rtrieu
Reviewed By: steven_wu, rtrieu
Subscribers: cfe-commits, steven_wu
Tags: #clang
Differential Revision: https://reviews.llvm.org/D58122
llvm-svn: 353984
Diffstat (limited to 'llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp')
0 files changed, 0 insertions, 0 deletions
