diff options
| author | David Blaikie <dblaikie@gmail.com> | 2011-12-20 02:48:34 +0000 |
|---|---|---|
| committer | David Blaikie <dblaikie@gmail.com> | 2011-12-20 02:48:34 +0000 |
| commit | 68e081d606c7e80baa01400a738e118d7bb165b2 (patch) | |
| tree | 9fdaa34f1b6e1b85648e91e4358cafd942254872 /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | f96d0ade79b2f88922a39428105b5ea11921636a (diff) | |
| download | bcm5719-llvm-68e081d606c7e80baa01400a738e118d7bb165b2.tar.gz bcm5719-llvm-68e081d606c7e80baa01400a738e118d7bb165b2.zip | |
Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch
llvm-svn: 146959
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index d4b31c1f517..eac9c1c99c1 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -536,6 +536,8 @@ const ProgramState *ProgramStateManager::removeGDM(const ProgramState *state, vo return getPersistentState(NewState); } +void ScanReachableSymbols::anchor() { } + bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I) if (!scan(*I)) |
