Lines Matching refs:SVal
122 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
322 Optional<SVal> SValBuilder::getConstantVal(const Expr *E) { in getConstantVal()
392 Optional<SVal> Val = getConstantVal(SE); in getConstantVal()
422 SVal SValBuilder::makeSymExprValNN(BinaryOperator::Opcode Op, in makeSymExprValNN()
447 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
459 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
471 SVal SValBuilder::evalUnaryOp(ProgramStateRef state, UnaryOperator::Opcode opc, in evalUnaryOp()
472 SVal operand, QualType type) { in evalUnaryOp()
484 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp()
485 SVal lhs, SVal rhs, QualType type) { in evalBinOp()
534 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual()
535 SVal rhs) { in areEqual()
539 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ()
546 return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs)) in evalEQ()
586 SVal SValBuilder::evalIntegralCast(ProgramStateRef state, SVal val, in evalIntegralCast()
626 class EvalCastVisitor : public SValVisitor<EvalCastVisitor, SVal> {
637 SVal Visit(SVal V) { in Visit()
660 SVal VisitUndefinedVal(UndefinedVal V) { return V; } in VisitUndefinedVal()
661 SVal VisitUnknownVal(UnknownVal V) { return V; } in VisitUnknownVal()
662 SVal VisitLocConcreteInt(loc::ConcreteInt V) { in VisitLocConcreteInt()
684 SVal VisitLocGotoLabel(loc::GotoLabel V) { in VisitLocGotoLabel()
711 SVal VisitLocMemRegionVal(loc::MemRegionVal V) { in VisitLocMemRegionVal()
748 SVal Val = V; in VisitLocMemRegionVal()
856 SVal VisitNonLocCompoundVal(nonloc::CompoundVal V) { in VisitNonLocCompoundVal()
860 SVal VisitNonLocConcreteInt(nonloc::ConcreteInt V) { in VisitNonLocConcreteInt()
882 SVal VisitNonLocLazyCompoundVal(nonloc::LazyCompoundVal V) { in VisitNonLocLazyCompoundVal()
886 SVal VisitNonLocLocAsInteger(nonloc::LocAsInteger V) { in VisitNonLocLocAsInteger()
947 SVal VisitNonLocSymbolVal(nonloc::SymbolVal V) { in VisitNonLocSymbolVal()
987 SVal VisitNonLocPointerToMember(nonloc::PointerToMember V) { in VisitNonLocPointerToMember()
1092 SVal SValBuilder::evalCast(SVal V, QualType CastTy, QualType OriginalTy) { in evalCast()