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 | fbe6dba15a02fdf30fdbdce40ea15b6452867bce (patch) | |
| tree | 78255e00cef64f9711e9b1437afeb01cd5e9e0fb /clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 4ee71b8a18a9ba113e98bd26af3eb367bca81d5e (diff) | |
| download | bcm5719-llvm-fbe6dba15a02fdf30fdbdce40ea15b6452867bce.tar.gz bcm5719-llvm-fbe6dba15a02fdf30fdbdce40ea15b6452867bce.zip | |
[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints
These ProgramPoints are used in inlining calls,
and not all calls have associated statements anymore.
llvm-svn: 160021
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index a9387694eec..5e0a338084f 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/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; |
