diff options
Diffstat (limited to 'lib/StaticAnalyzer/Core/ConstraintManager.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/ConstraintManager.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Core/ConstraintManager.cpp b/lib/StaticAnalyzer/Core/ConstraintManager.cpp index 075c771f0d..5dd1392bde 100644 --- a/lib/StaticAnalyzer/Core/ConstraintManager.cpp +++ b/lib/StaticAnalyzer/Core/ConstraintManager.cpp @@ -33,8 +33,7 @@ ConditionTruthVal ConstraintManager::isNull(ProgramStateRef State, // Disable recursive notification of clients. llvm::SaveAndRestore<bool> DisableNotify(NotifyAssumeClients, false); - ProgramStateManager &Mgr = State->getStateManager(); - QualType Ty = Sym->getType(Mgr.getContext()); + QualType Ty = Sym->getType(); DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) : nonloc::SymbolVal(Sym); const ProgramStatePair &P = assumeDual(State, V); |