Home
last modified time | relevance | path

Searched refs:getRightSubValue (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DWatchedLiteralsSolver.cpp210 UnprocessedSubVals.push(&C->getRightSubValue()); in buildBooleanFormula()
216 UnprocessedSubVals.push(&D->getRightSubValue()); in buildBooleanFormula()
227 UnprocessedSubVals.push(&I->getRightSubValue()); in buildBooleanFormula()
233 UnprocessedSubVals.push(&B->getRightSubValue()); in buildBooleanFormula()
276 const Variable RightSubVar = GetVar(&C->getRightSubValue()); in buildBooleanFormula()
297 UnprocessedSubVals.push(&C->getRightSubValue()); in buildBooleanFormula()
301 const Variable RightSubVar = GetVar(&D->getRightSubValue()); in buildBooleanFormula()
322 UnprocessedSubVals.push(&D->getRightSubValue()); in buildBooleanFormula()
337 const Variable RightSubVar = GetVar(&I->getRightSubValue()); in buildBooleanFormula()
349 UnprocessedSubVals.push(&I->getRightSubValue()); in buildBooleanFormula()
[all …]
H A DDebugSupport.cpp83 auto R = debugString(C.getRightSubValue(), Depth + 1); in debugString()
90 auto R = debugString(D.getRightSubValue(), Depth + 1); in debugString()
102 auto R = debugString(IV.getRightSubValue(), Depth + 1); in debugString()
109 auto R = debugString(BV.getRightSubValue(), Depth + 1); in debugString()
H A DDataflowAnalysisContext.cpp259 substituteBoolValue(Disjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
268 substituteBoolValue(Conjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
277 substituteBoolValue(IV.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
286 substituteBoolValue(BV.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h122 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function
144 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function
185 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function
209 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTransferTest.cpp2687 cast<DisjunctionValue>(&BazVal->getRightSubValue()); in TEST()
2689 EXPECT_EQ(&BazRightSubValVal->getRightSubValue(), QuxVal); in TEST()
2739 EXPECT_EQ(&BazLeftSubValVal->getRightSubValue(), QuxVal); in TEST()
2741 EXPECT_EQ(&BazVal->getRightSubValue(), BarVal); in TEST()
2800 EXPECT_EQ(&FooLeftLeftSubVal.getRightSubValue(), BVal); in TEST()
2801 EXPECT_EQ(&FooLeftSubVal.getRightSubValue(), CVal); in TEST()
2802 EXPECT_EQ(&FooVal->getRightSubValue(), DVal); in TEST()