diff options
author | Anna Zaks <ganna@apple.com> | 2011-12-10 23:42:38 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2011-12-10 23:42:38 +0000 |
commit | 6d6a83c3754b449ac24cb83bc6d3a50b10535061 (patch) | |
tree | 742a64fc7fdaf88be4c368076546add6fe296bc3 /lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp | |
parent | 24d052cdb75d3c1afa5bef32eacaa224e9d0b85d (diff) |
[analyzer]Fixup r146336.
Forgot to commit the Header files.
Rename generateUnknownVal -> makeGenericVal.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146337 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp b/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp index 70901aa608..4826c88aea 100644 --- a/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp +++ b/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp @@ -303,7 +303,7 @@ SVal SimpleSValBuilder::evalBinOpNN(const ProgramState *state, while (1) { switch (lhs.getSubKind()) { default: - return generateUnknownVal(state, op, lhs, rhs, resultTy); + return makeGenericVal(state, op, lhs, rhs, resultTy); case nonloc::LocAsIntegerKind: { Loc lhsL = cast<nonloc::LocAsInteger>(lhs).getLoc(); switch (rhs.getSubKind()) { @@ -326,7 +326,7 @@ SVal SimpleSValBuilder::evalBinOpNN(const ProgramState *state, return makeTruthVal(true, resultTy); default: // This case also handles pointer arithmetic. - return generateUnknownVal(state, op, lhs, rhs, resultTy); + return makeGenericVal(state, op, lhs, rhs, resultTy); } } } @@ -388,9 +388,9 @@ SVal SimpleSValBuilder::evalBinOpNN(const ProgramState *state, if (lhsValue == 0) // At this point lhs and rhs have been swapped. return rhs; - return generateUnknownVal(state, op, rhs, lhs, resultTy); + return makeGenericVal(state, op, rhs, lhs, resultTy); default: - return generateUnknownVal(state, op, rhs, lhs, resultTy); + return makeGenericVal(state, op, rhs, lhs, resultTy); } } } @@ -405,7 +405,7 @@ SVal SimpleSValBuilder::evalBinOpNN(const ProgramState *state, dyn_cast<SymIntExpr>(selhs->getSymbol()); if (!symIntExpr) - return generateUnknownVal(state, op, lhs, rhs, resultTy); + return makeGenericVal(state, op, lhs, rhs, resultTy); // Is this a logical not? (!x is represented as x == 0.) if (op == BO_EQ && rhs.isZeroConstant()) { @@ -453,7 +453,7 @@ SVal SimpleSValBuilder::evalBinOpNN(const ProgramState *state, // For now, only handle expressions whose RHS is a constant. const nonloc::ConcreteInt *rhsInt = dyn_cast<nonloc::ConcreteInt>(&rhs); if (!rhsInt) - return generateUnknownVal(state, op, lhs, rhs, resultTy); + return makeGenericVal(state, op, lhs, rhs, resultTy); // If both the LHS and the current expression are additive, // fold their constants. @@ -538,7 +538,7 @@ SVal SimpleSValBuilder::evalBinOpNN(const ProgramState *state, resultTy); } - return generateUnknownVal(state, op, lhs, rhs, resultTy); + return makeGenericVal(state, op, lhs, rhs, resultTy); } } } |