diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-07-10 22:07:52 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-07-10 22:07:52 +0000 |
| commit | 852aa0d2c5d2d1faf2d77b5aa3c0848068a342c5 (patch) | |
| tree | 479d6107f7b9d49e36af6eecacef6f06004202b2 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 8d276d38c258dfc572586daf6c0e8f8fce249c0e (diff) | |
[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints
These ProgramPoints are used in inlining calls,
and not all calls have associated statements anymore.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160021 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index a9387694ee..5e0a338084 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1001,6 +1001,8 @@ bool ExprEngine::replayWithoutInlining(ExplodedNode *N, continue; if (isa<PreImplicitCall>(&L)) continue; + if (isa<CallEnter>(&L)) + continue; if (const StmtPoint *SP = dyn_cast<StmtPoint>(&L)) if (SP->getStmt() == CE) continue; |