Searched refs:BarVal2 (Results 1 – 2 of 2) sorted by relevance
863 auto *BarVal2 = in TEST_F() local866 EXPECT_FALSE(Env2.flowConditionImplies(*BarVal2)); in TEST_F()906 auto *BarVal2 = in TEST_F() local909 EXPECT_FALSE(Env2.flowConditionImplies(*BarVal2)); in TEST_F()949 auto *BarVal2 = in TEST_F() local952 EXPECT_TRUE(Env2.flowConditionImplies(*BarVal2)); in TEST_F()992 auto *BarVal2 = in TEST_F() local995 EXPECT_FALSE(Env2.flowConditionImplies(*BarVal2)); in TEST_F()
1892 const auto *BarVal2 = cast<StructValue>(Env2.getValue(*BarLoc2)); in TEST() local1893 EXPECT_EQ(FooVal2, BarVal2); in TEST()