Searched refs:EnvElse (Results 1 – 1 of 1) sorted by relevance
3225 const Environment &EnvElse = Results[0].second.Env; in TEST() local3236 *cast<BoolValue>(EnvElse.getValue(*BarDecl, SkipPast::None)); in TEST()3237 EXPECT_FALSE(EnvElse.flowConditionImplies(BarValElse)); in TEST()3260 const Environment &EnvElse = Results[0].second.Env; in TEST() local3271 *cast<BoolValue>(EnvElse.getValue(*BarDecl, SkipPast::None)); in TEST()3272 EXPECT_TRUE(EnvElse.flowConditionImplies(BarValElse)); in TEST()