diff options
| author | Daniel Marjamaki <daniel.marjamaki@evidente.se> | 2017-08-02 08:26:56 +0000 |
|---|---|---|
| committer | Daniel Marjamaki <daniel.marjamaki@evidente.se> | 2017-08-02 08:26:56 +0000 |
| commit | fabe840e7571f42482b6e130c53e2bf6a11c27ce (patch) | |
| tree | e6a8959bd493ef52c288d8172b923cc5a6f05437 /clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp | |
| parent | 411533009de8e6d051cedc883654f20e6cfcdd2c (diff) | |
| download | bcm5719-llvm-fabe840e7571f42482b6e130c53e2bf6a11c27ce.tar.gz bcm5719-llvm-fabe840e7571f42482b6e130c53e2bf6a11c27ce.zip | |
[StaticAnalyzer] Fix false positives for unreachable code in macros.
Example:
#define MACRO(C) if (C) { static int x; .. }
void foo() {
MACRO(0);
}
Differential Revision: https://reviews.llvm.org/D36141
llvm-svn: 309799
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp index ccd8e9a18b0..6f21e868b17 100644 --- a/clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp @@ -112,7 +112,7 @@ void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, continue; // Check for false positives - if (CB->size() > 0 && isInvalidPath(CB, *PM)) + if (isInvalidPath(CB, *PM)) continue; // It is good practice to always have a "default" label in a "switch", even |
