Lines Matching refs:AfterLoopEnv
3748 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST() local
3758 *cast<BoolValue>(AfterLoopEnv.getValue(*FooDecl, SkipPast::None)); in TEST()
3759 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
3760 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()
3785 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST() local
3801 *cast<BoolValue>(AfterLoopEnv.getValue(*FooDecl, SkipPast::None)); in TEST()
3803 *cast<BoolValue>(AfterLoopEnv.getValue(*BarDecl, SkipPast::None)); in TEST()
3804 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
3805 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()
3806 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
3807 AfterLoopEnv.makeNot(AfterLoopBarVal))); in TEST()
3830 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST() local
3840 *cast<BoolValue>(AfterLoopEnv.getValue(*FooDecl, SkipPast::None)); in TEST()
3841 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
3842 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()