Lines Matching refs:BoolValue
53 static BoolValue &evaluateBooleanEquality(const Expr &LHS, const Expr &RHS, in evaluateBooleanEquality()
61 if (auto *LHSBool = dyn_cast_or_null<BoolValue>(LHSValue)) in evaluateBooleanEquality()
62 if (auto *RHSBool = dyn_cast_or_null<BoolValue>(RHSValue)) in evaluateBooleanEquality()
68 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
85 auto *B = dyn_cast_or_null<BoolValue>(Val); in maybeUnpackLValueExpr()
152 BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS); in VisitBinaryOperator()
153 BoolValue &RHSVal = getLogicOperatorSubExprValue(*RHS); in VisitBinaryOperator()
271 dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr))) in VisitImplicitCastExpr()
361 auto *SubExprVal = dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr)); in VisitUnaryOperator()
760 BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) { in getLogicOperatorSubExprValue()
766 dyn_cast_or_null<BoolValue>(SubExprEnv->getValue(SubExpr))) in getLogicOperatorSubExprValue()
776 if (auto *Val = dyn_cast_or_null<BoolValue>(Env.getValue(SubExpr))) in getLogicOperatorSubExprValue()