Lines Matching refs:QualType
48 const QualType ArrayIndexTy;
53 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
54 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
59 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
77 bool haveSameType(QualType Ty1, QualType Ty2) {
85 SVal evalCast(SVal val, QualType castTy, QualType originalType);
94 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
99 Loc lhs, Loc rhs, QualType resultTy) = 0;
105 Loc lhs, NonLoc rhs, QualType resultTy) = 0;
113 NonLoc lhs, NonLoc rhs, QualType resultTy);
116 SVal lhs, SVal rhs, QualType type);
126 QualType getConditionType() const {
130 QualType getArrayIndexType() const {
147 QualType type,
161 DefinedOrUnknownSVal makeZeroVal(QualType type);
179 QualType type,
184 QualType type,
198 const Expr *expr, QualType type, unsigned count);
212 NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) {
256 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
277 const llvm::APSInt& rhs, QualType type);
280 const SymExpr *lhs, QualType type);
283 const SymExpr *rhs, QualType type);
286 NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy);
288 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) {
