Lines Matching refs:NonLoc
106 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, in makeNonLoc()
423 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
447 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
459 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
473 auto OpN = operand.getAs<NonLoc>(); in evalUnaryOp()
508 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
519 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
526 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), RhsAsLoc, type); in evalBinOp()
530 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
600 NonLoc ToTypeMaxVal = in evalIntegralCast()
604 .castAs<NonLoc>(); in evalIntegralCast()
607 NonLoc FromVal = val.castAs<NonLoc>(); in evalIntegralCast()
609 NonLoc CompVal = in evalIntegralCast()
610 evalBinOpNN(state, BO_LE, FromVal, ToTypeMaxVal, CmpTy).castAs<NonLoc>(); in evalIntegralCast()