Searched refs:BarVal1 (Results 1 – 2 of 2) sorted by relevance
855 auto *BarVal1 = in TEST_F() local858 EXPECT_TRUE(Env1.flowConditionImplies(*BarVal1)); in TEST_F()898 auto *BarVal1 = in TEST_F() local901 EXPECT_FALSE(Env1.flowConditionImplies(*BarVal1)); in TEST_F()941 auto *BarVal1 = in TEST_F() local944 EXPECT_FALSE(Env1.flowConditionImplies(*BarVal1)); in TEST_F()984 auto *BarVal1 = in TEST_F() local987 EXPECT_TRUE(Env1.flowConditionImplies(*BarVal1)); in TEST_F()
1877 const auto *BarVal1 = cast<StructValue>(Env1.getValue(*BarLoc1)); in TEST() local1878 EXPECT_NE(FooVal1, BarVal1); in TEST()2047 const auto *BarVal1 = cast<StructValue>(Env1.getValue(*BarLoc1)); in TEST() local2048 EXPECT_NE(FooVal1, BarVal1); in TEST()2059 EXPECT_EQ(FooVal2, BarVal1); in TEST()