Searched refs:RhsConstant (Results 1 – 3 of 3) sorted by relevance
1077 uint64_t RhsConstant = RhsValue.getZExtValue(); in checkBitwiseExpr() local1081 if (LhsOpcode == BO_And && (LhsConstant & RhsConstant) != RhsConstant) { in checkBitwiseExpr()1089 if (LhsOpcode == BO_Or && (LhsConstant | RhsConstant) != RhsConstant) { in checkBitwiseExpr()
7432 bool RhsConstant) { in DiagnoseOutOfRangeComparison() argument7526 } else if (RhsConstant) { in DiagnoseOutOfRangeComparison()7586 CmpRes = TruthTable.BO_LT_OP[RhsConstant][ConstVal]; in DiagnoseOutOfRangeComparison()7589 CmpRes = TruthTable.BO_GT_OP[RhsConstant][ConstVal]; in DiagnoseOutOfRangeComparison()7592 CmpRes = TruthTable.BO_LE_OP[RhsConstant][ConstVal]; in DiagnoseOutOfRangeComparison()7595 CmpRes = TruthTable.BO_GE_OP[RhsConstant][ConstVal]; in DiagnoseOutOfRangeComparison()7598 CmpRes = TruthTable.BO_EQ_OP[RhsConstant][ConstVal]; in DiagnoseOutOfRangeComparison()7601 CmpRes = TruthTable.BO_NE_OP[RhsConstant][ConstVal]; in DiagnoseOutOfRangeComparison()
11091 bool RhsConstant) { in CheckTautologicalComparison() argument11137 auto Result = PromotedRange::constantValue(E->getOpcode(), Cmp, RhsConstant); in CheckTautologicalComparison()11149 RhsConstant)) { in CheckTautologicalComparison()11197 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()11230 << RhsConstant << OtherT << E->getOpcodeStr() << OS.str() << *Result in CheckTautologicalComparison()11274 const bool RhsConstant = (bool)RHSValue; in AnalyzeComparison() local11275 Expr *Const = RhsConstant ? RHS : LHS; in AnalyzeComparison()11276 Expr *Other = RhsConstant ? LHS : RHS; in AnalyzeComparison()11277 const llvm::APSInt &Value = RhsConstant ? *RHSValue : *LHSValue; in AnalyzeComparison()11281 if (CheckTautologicalComparison(S, E, Const, Other, Value, RhsConstant)) in AnalyzeComparison()