Searched refs:ElseEnv (Results 1 – 1 of 1) sorted by relevance
3714 const Environment &ElseEnv = Results[0].second.Env; in TEST() local3724 *cast<BoolValue>(ElseEnv.getValue(*FooDecl, SkipPast::None)); in TEST()3725 EXPECT_TRUE(ElseEnv.flowConditionImplies(ElseEnv.makeNot(ElseFooVal))); in TEST()