diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-12-02 07:49:45 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-12-02 07:49:45 +0000 |
| commit | c8413fd03f73084a5c93028f8b4db619fc388087 (patch) | |
| tree | 0815a7cb0b9c477e280a91e4c89713488e43f7f2 /lib/Checker/BasicObjCFoundationChecks.cpp | |
| parent | 0608f53744ccf88c4d21d6b500f6d23927533ac9 (diff) | |
Merge ValueManager into SValBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120696 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/BasicObjCFoundationChecks.cpp')
| -rw-r--r-- | lib/Checker/BasicObjCFoundationChecks.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/Checker/BasicObjCFoundationChecks.cpp b/lib/Checker/BasicObjCFoundationChecks.cpp index 1e48b1ad44..c7e6a4cde2 100644 --- a/lib/Checker/BasicObjCFoundationChecks.cpp +++ b/lib/Checker/BasicObjCFoundationChecks.cpp @@ -409,12 +409,11 @@ void CFRetainReleaseChecker::PreVisitCallExpr(CheckerContext& C, return; // Get a NULL value. - ValueManager &ValMgr = C.getValueManager(); - DefinedSVal Zero = cast<DefinedSVal>(ValMgr.makeZeroVal(Arg->getType())); + SValBuilder &svalBuilder = C.getSValBuilder(); + DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType())); // Make an expression asserting that they're equal. - SValBuilder &svalBuilder = ValMgr.getSValBuilder(); - DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, Zero, *DefArgVal); + DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); // Are they equal? const GRState *stateTrue, *stateFalse; |