HomeSort by relevance Sort by last modified time
    Searched refs:BasicVals (Results 1 - 5 of 5) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 37 BasicValueFactory BasicVals;
64 : Context(context), BasicVals(context, alloc),
65 SymMgr(context, BasicVals, alloc),
136 BasicValueFactory &getBasicValueFactory() { return BasicVals; }
137 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }
202 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals));
208 BasicVals.getLazyCompoundValData(store, region));
212 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
216 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));
223 BasicVals.getValue(integer->getValue()
    [all...]
SVals.h 469 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 75 BasicValueFactory &BasicVals = state->getBasicVals();
91 const llvm::APSInt &zero = BasicVals.getZeroWithPtrWidth();
161 BasicValueFactory &BasicVals = state->getBasicVals();
188 const llvm::APSInt &zero = BasicVals.getValue(0, T);
SimpleSValBuilder.cpp 262 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS);
346 rhs_I = &BasicVals.Convert(lhsInt.getValue(), *Constant);
348 rhs_I = &BasicVals.Convert(resultTy, *Constant);
470 BasicVals.Convert(resultTy, symIntExpr->getRHS());
472 BasicVals.Convert(resultTy, rhsInt->getValue());
475 newRHS = BasicVals.evalAPSInt(BO_Add, first, second);
477 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second);
503 const llvm::APSInt &lhs_I = BasicVals.Convert(conversionType,
516 rhs = nonloc::ConcreteInt(BasicVals.Convert(conversionType,
529 const llvm::APSInt &rhs_I = BasicVals.Convert(conversionType
    [all...]
SVals.cpp 213 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
220 const llvm::APSInt* X = BasicVals.evalAPSInt(Op, getValue(), R.getValue());

Completed in 167 milliseconds