Lines Matching refs:BoolValue
59 static BoolValue &evaluateBooleanEquality(const Expr &LHS, const Expr &RHS, in evaluateBooleanEquality()
67 if (auto *LHSBool = dyn_cast_or_null<BoolValue>(LHSValue)) in evaluateBooleanEquality()
68 if (auto *RHSBool = dyn_cast_or_null<BoolValue>(RHSValue)) in evaluateBooleanEquality()
82 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
99 auto *B = dyn_cast_or_null<BoolValue>(Val); in maybeUnpackLValueExpr()
176 BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS); in VisitBinaryOperator()
177 BoolValue &RHSVal = getLogicOperatorSubExprValue(*RHS); in VisitBinaryOperator()
295 dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr))) in VisitImplicitCastExpr()
385 auto *SubExprVal = dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr)); in VisitUnaryOperator()
822 BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) { in getLogicOperatorSubExprValue()
828 dyn_cast_or_null<BoolValue>(SubExprEnv->getValue(SubExpr))) in getLogicOperatorSubExprValue()
838 if (auto *Val = dyn_cast_or_null<BoolValue>(Env.getValue(SubExpr))) in getLogicOperatorSubExprValue()