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 35 BasicValueFactory BasicVals;
60 : Context(context), BasicVals(context, alloc),
61 SymMgr(context, BasicVals, alloc),
107 BasicValueFactory &getBasicValueFactory() { return BasicVals; }
108 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }
154 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals));
160 BasicVals.getLazyCompoundValData(store, region));
164 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
168 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));
175 BasicVals.getValue(integer->getValue()
    [all...]
SVals.h 490 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 77 BasicValueFactory &BasicVals = state->getBasicVals();
93 const llvm::APSInt &zero = BasicVals.getZeroWithPtrWidth();
150 BasicValueFactory &BasicVals = state->getBasicVals();
161 const llvm::APSInt &zero = BasicVals.getValue(0, T);
181 const llvm::APSInt &zero = BasicVals.getValue(0, T);
SimpleSValBuilder.cpp 253 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS);
397 BasicVals.Convert(resultTy, symIntExpr->getRHS());
399 BasicVals.Convert(resultTy, rhsInt->getValue());
402 newRHS = BasicVals.evalAPSInt(BO_Add, first, second);
404 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second);
424 rhs_I = &BasicVals.Convert(lhsInt.getValue(), *Constant);
426 rhs_I = &BasicVals.Convert(resultTy, *Constant);
493 const llvm::APSInt &lhs_I = BasicVals.Convert(conversionType,
506 rhs = nonloc::ConcreteInt(BasicVals.Convert(conversionType,
519 const llvm::APSInt &rhs_I = BasicVals.Convert(conversionType
    [all...]
SVals.cpp 249 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
256 const llvm::APSInt* X = BasicVals.evalAPSInt(Op, getValue(), R.getValue());

Completed in 5661 milliseconds