diff options
Diffstat (limited to 'lib/Checker/OSAtomicChecker.cpp')
| -rw-r--r-- | lib/Checker/OSAtomicChecker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/OSAtomicChecker.cpp b/lib/Checker/OSAtomicChecker.cpp index c536ce669c..181f4064bf 100644 --- a/lib/Checker/OSAtomicChecker.cpp +++ b/lib/Checker/OSAtomicChecker.cpp @@ -182,7 +182,7 @@ bool OSAtomicChecker::evalOSAtomicCompareAndSwap(CheckerContext &C, SVal Res = UnknownVal(); QualType T = CE->getType(); if (!T->isVoidType()) - Res = Engine.getValueManager().makeTruthVal(true, T); + Res = Engine.getSValBuilder().makeTruthVal(true, T); C.GenerateNode(stateNew->BindExpr(CE, Res), predNew); } } @@ -193,7 +193,7 @@ bool OSAtomicChecker::evalOSAtomicCompareAndSwap(CheckerContext &C, SVal Res = UnknownVal(); QualType T = CE->getType(); if (!T->isVoidType()) - Res = Engine.getValueManager().makeTruthVal(false, CE->getType()); + Res = Engine.getSValBuilder().makeTruthVal(false, CE->getType()); C.GenerateNode(stateNotEqual->BindExpr(CE, Res), N); } } |