diff options
| author | Anna Zaks <ganna@apple.com> | 2011-11-01 22:41:19 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-11-01 22:41:19 +0000 |
| commit | 6800ba622e4edf287801ac69c42c61e7e294b06b (patch) | |
| tree | d04814bf89def505380d20dfdeb83ac681f72d18 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 2d950b15b2b2b650b102ecf0c6b50b45e0cb6a8a (diff) | |
[analyzer] Make sink attribute part of the node profile.
This prevents caching out on nodes with different sink flag.
(This is a cleaner fix for radar://10376675).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@143517 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, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 9973b7765c..471936c84a 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1595,7 +1595,7 @@ ExprEngine::getEagerlyAssumeTags() { } void ExprEngine::evalEagerlyAssume(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, - const Expr *Ex) { + const Expr *Ex) { StmtNodeBuilder Bldr(Src, Dst, *currentBuilderContext); for (ExplodedNodeSet::iterator I=Src.begin(), E=Src.end(); I!=E; ++I) { |