Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DWatchedLiteralsSolver.cpp209 UnprocessedSubVals.push(&C->getLeftSubValue()); in buildBooleanFormula()
215 UnprocessedSubVals.push(&D->getLeftSubValue()); in buildBooleanFormula()
226 UnprocessedSubVals.push(&I->getLeftSubValue()); in buildBooleanFormula()
232 UnprocessedSubVals.push(&B->getLeftSubValue()); in buildBooleanFormula()
275 const Variable LeftSubVar = GetVar(&C->getLeftSubValue()); in buildBooleanFormula()
286 UnprocessedSubVals.push(&C->getLeftSubValue()); in buildBooleanFormula()
296 UnprocessedSubVals.push(&C->getLeftSubValue()); in buildBooleanFormula()
311 UnprocessedSubVals.push(&D->getLeftSubValue()); in buildBooleanFormula()
321 UnprocessedSubVals.push(&D->getLeftSubValue()); in buildBooleanFormula()
348 UnprocessedSubVals.push(&I->getLeftSubValue()); in buildBooleanFormula()
[all …]
H A DDebugSupport.cpp82 auto L = debugString(C.getLeftSubValue(), Depth + 1); in debugString()
89 auto L = debugString(D.getLeftSubValue(), Depth + 1); in debugString()
101 auto L = debugString(IV.getLeftSubValue(), Depth + 1); in debugString()
108 auto L = debugString(BV.getLeftSubValue(), Depth + 1); in debugString()
H A DDataflowAnalysisContext.cpp257 substituteBoolValue(Disjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
266 substituteBoolValue(Conjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
275 substituteBoolValue(IV.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
284 substituteBoolValue(BV.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h119 BoolValue &getLeftSubValue() const { return LeftSubVal; } in getLeftSubValue() function
141 BoolValue &getLeftSubValue() const { return LeftSubVal; } in getLeftSubValue() function
182 BoolValue &getLeftSubValue() const { return LeftSubVal; } in getLeftSubValue() function
206 BoolValue &getLeftSubValue() const { return LeftSubVal; } in getLeftSubValue() function
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTransferTest.cpp2684 EXPECT_EQ(&BazVal->getLeftSubValue(), FooVal); in TEST()
2688 EXPECT_EQ(&BazRightSubValVal->getLeftSubValue(), BarVal); in TEST()
2737 cast<ConjunctionValue>(&BazVal->getLeftSubValue()); in TEST()
2738 EXPECT_EQ(&BazLeftSubValVal->getLeftSubValue(), FooVal); in TEST()
2796 cast<ConjunctionValue>(FooVal->getLeftSubValue()); in TEST()
2798 cast<ConjunctionValue>(FooLeftSubVal.getLeftSubValue()); in TEST()
2799 EXPECT_EQ(&FooLeftLeftSubVal.getLeftSubValue(), AVal); in TEST()