Searched refs:Env3 (Results 1 – 2 of 2) sorted by relevance
433 const Environment &Env3 = Results[1].second.Env; in TEST_F() local446 EXPECT_TRUE(Env3.flowConditionImplies(*GetFooValue(Env3))); in TEST_F()447 EXPECT_TRUE(Env4.flowConditionImplies(*GetFooValue(Env3))); in TEST_F()585 const Environment &Env3 = Results[0].second.Env; in TEST_F() local598 EXPECT_EQ(GetFooValue(Env3)->getProperty("has_value"), HasValueTop); in TEST_F()629 const Environment &Env3 = Results[1].second.Env; in TEST_F() local643 EXPECT_EQ(GetFooValue(Env3)->getProperty("has_value"), in TEST_F()644 &Env3.getBoolLiteralValue(true)); in TEST_F()
672 const Environment &Env3 = Results[1].second.Env; in TEST() local673 EXPECT_EQ(Env3.getStorageLocation(*FooDecl, SkipPast::None), FooLoc); in TEST()674 EXPECT_THAT(Env3.getStorageLocation(*BarDecl, SkipPast::None), IsNull()); in TEST()675 EXPECT_THAT(Env3.getStorageLocation(*BazDecl, SkipPast::None), NotNull()); in TEST()