39 static BoolValue &evaluateBooleanEquality(const Expr &LHS, const Expr &RHS,  in evaluateBooleanEquality()
42           dyn_cast_or_null<BoolValue>(Env.getValue(LHS, SkipPast::Reference)))  in evaluateBooleanEquality()
44             dyn_cast_or_null<BoolValue>(Env.getValue(RHS, SkipPast::Reference)))  in evaluateBooleanEquality()
54 static BoolValue &unpackValue(BoolValue &V, Environment &Env);
57 BoolValue &unpackBinaryBoolValue(Environment &Env, BoolValue &B, M build) {  in unpackBinaryBoolValue()
59   BoolValue &Left = V.getLeftSubValue();  in unpackBinaryBoolValue()
60   BoolValue &Right = V.getRightSubValue();  in unpackBinaryBoolValue()
61   BoolValue &ULeft = unpackValue(Left, Env);  in unpackBinaryBoolValue()
62   BoolValue &URight = unpackValue(Right, Env);  in unpackBinaryBoolValue()
70 static BoolValue &unpackValue(BoolValue &V, Environment &Env) {  in unpackValue()
87     BoolValue &Sub = N.getSubVal();  in unpackValue()
88     BoolValue &USub = unpackValue(Sub, Env);  in unpackValue()
120   auto *B = dyn_cast_or_null<BoolValue>(Val);  in maybeUnpackLValueExpr()
162       BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS);  in VisitBinaryOperator()
163       BoolValue &RHSVal = getLogicOperatorSubExprValue(*RHS);  in VisitBinaryOperator()
311       if (auto *SubExprVal = dyn_cast_or_null<BoolValue>(  in VisitImplicitCastExpr()
407           dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr, SkipPast::None));  in VisitUnaryOperator()
755   BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) {  in getLogicOperatorSubExprValue()
760       if (auto *Val = dyn_cast_or_null<BoolValue>(  in getLogicOperatorSubExprValue()
774     if (auto *Val = dyn_cast_or_null<BoolValue>(  in getLogicOperatorSubExprValue()