Cross Reference: /external/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

Lines Matching refs:ConcreteInt
101   if (!isa<nonloc::ConcreteInt>(val))
109   llvm::APSInt i = cast<nonloc::ConcreteInt>(val).getValue();
137     if (!isa<loc::ConcreteInt>(val))
140     llvm::APSInt i = cast<loc::ConcreteInt>(val).getValue();
158     return cast<nonloc::ConcreteInt>(val).evalMinus(*this);
167     return cast<nonloc::ConcreteInt>(X).evalComplement(*this);
260       return nonloc::ConcreteInt(Result);
342           llvm::APSInt i = cast<nonloc::ConcreteInt>(rhs).getValue();
359       llvm::APSInt LHSValue = cast<nonloc::ConcreteInt>(lhs).getValue();
383         return nonloc::ConcreteInt(*Result);
495               rhs = nonloc::ConcreteInt(*newRHS);
509         // by setting 'lhs' to a ConcreteInt and try again.
512           lhs = nonloc::ConcreteInt(*Constant);
598       const llvm::APSInt &lVal = cast<loc::ConcreteInt>(lhs).getValue();
603     if (loc::ConcreteInt *rInt = dyn_cast<loc::ConcreteInt>(&rhs)) {
604       SVal ResultVal = cast<loc::ConcreteInt>(lhs).evalBinOp(BasicVals, op,
637     if (loc::ConcreteInt *rInt = dyn_cast<loc::ConcreteInt>(&rhs)) {
859     if (nonloc::ConcreteInt *rhsInt = dyn_cast<nonloc::ConcreteInt>(&rhs)) {
867         return evalBinOpLL(state, op, lhs, loc::ConcreteInt(*x), resultTy);
876   if (nonloc::ConcreteInt *rhsInt = dyn_cast<nonloc::ConcreteInt>(&rhs)) {
877     if (loc::ConcreteInt *lhsInt = dyn_cast<loc::ConcreteInt>(&lhs)) {
901       return loc::ConcreteInt(getBasicValueFactory().getValue(rightI));
939   if (loc::ConcreteInt* X = dyn_cast<loc::ConcreteInt>(&V))
942   if (nonloc::ConcreteInt* X = dyn_cast<nonloc::ConcreteInt>(&V))