Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTransferTest.cpp3723 BoolValue &ElseFooVal = in TEST() local
3725 EXPECT_TRUE(ElseEnv.flowConditionImplies(ElseEnv.makeNot(ElseFooVal))); in TEST()