Searched refs:LoopBodyEnv (Results 1 – 1 of 1) sorted by relevance
3747 const Environment &LoopBodyEnv = Results[1].second.Env; in TEST() local3754 *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None)); in TEST()3755 EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal)); in TEST()3784 const Environment &LoopBodyEnv = Results[1].second.Env; in TEST() local3794 *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None)); in TEST()3797 EXPECT_TRUE(LoopBodyEnv.flowConditionImplies( in TEST()3798 LoopBodyEnv.makeOr(LoopBodyBarVal, LoopBodyFooVal))); in TEST()3829 const Environment &LoopBodyEnv = Results[1].second.Env; in TEST() local3837 EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal)); in TEST()3861 const Environment &LoopBodyEnv = Results[0].second.Env; in TEST() local[all …]