Lines Matching refs:BarVal
190 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
191 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
238 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
239 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
284 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
285 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
407 const auto *BarVal = in TEST() local
410 cast<StructValue>(Env.getValue(BarVal->getReferentLoc())); in TEST()
564 const auto *BarVal = in TEST() local
567 cast<StructValue>(Env.getValue(BarVal->getPointeeLoc())); in TEST()
624 const Value *BarVal = Env.getValue(*BarLoc); in TEST() local
625 EXPECT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
804 const auto *BarVal = in TEST() local
806 EXPECT_EQ(Env.getValue(BarVal->getPointeeLoc()), FooVal); in TEST()
846 const Value *BarVal = Env1.getValue(*BarDecl, SkipPast::None); in TEST() local
847 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
854 EXPECT_EQ(Env2.getValue(*BazDecl, SkipPast::Reference), BarVal); in TEST()
855 EXPECT_EQ(Env2.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
859 EXPECT_EQ(Env2.getValue(*QuxDecl, SkipPast::None), BarVal); in TEST()
863 EXPECT_EQ(Env2.getValue(*QuuxDecl, SkipPast::Reference), BarVal); in TEST()
899 const Value *BarVal = Env.getValue(*BarLoc); in TEST() local
900 EXPECT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
945 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
946 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
1057 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
1062 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), BarVal); in TEST()
1294 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
1299 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), BarVal); in TEST()
1384 const auto *BarVal = cast<ReferenceValue>(FooVal->getChild(*BarDecl)); in TEST() local
1386 cast<IntegerValue>(Env.getValue(BarVal->getReferentLoc())); in TEST()
1432 const Value *BarVal = Env.getValue(*BarLoc); in TEST() local
1433 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
1437 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1508 const Value *BarVal = Env.getValue(*BarLoc); in TEST() local
1509 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
1513 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1580 const Value *BarVal = Env.getValue(*BarLoc); in TEST() local
1581 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
1585 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1621 const Value *BarVal = Env.getValue(*BarLoc); in TEST() local
1622 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
1626 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1794 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
1795 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
1833 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST() local
1834 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
1938 const auto *BarVal = cast<StructValue>(Env.getValue(*BarLoc)); in TEST() local
1939 EXPECT_EQ(FooVal, BarVal); in TEST()
1984 const auto *BarVal = cast<StructValue>(Env.getValue(*BarLoc)); in TEST() local
1985 EXPECT_EQ(FooVal, BarVal); in TEST()
2099 const auto *BarVal = in TEST() local
2101 EXPECT_EQ(BarVal, FooVal.getChild(*BazDecl)); in TEST()
2127 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST() local
2129 EXPECT_TRUE(isa<IntegerValue>(BarVal)); in TEST()
2130 EXPECT_EQ(FooVal, BarVal); in TEST()
2156 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST() local
2158 EXPECT_TRUE(isa<IntegerValue>(BarVal)); in TEST()
2159 EXPECT_EQ(FooVal, BarVal); in TEST()
2185 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST() local
2187 EXPECT_TRUE(isa<BoolValue>(BarVal)); in TEST()
2214 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST() local
2216 EXPECT_TRUE(isa<BoolValue>(BarVal)); in TEST()
2217 EXPECT_EQ(FooVal, BarVal); in TEST()
2261 const auto *BarVal = in TEST() local
2269 EXPECT_NE(FooXVal, BarVal); in TEST()
2271 EXPECT_NE(BarVal, BazVal); in TEST()
2277 const StorageLocation &BarPointeeLoc = BarVal->getPointeeLoc(); in TEST()
2344 const auto *BarVal = in TEST() local
2346 EXPECT_EQ(&BarVal->getPointeeLoc(), FooLoc); in TEST()
2373 const auto *BarVal = in TEST() local
2375 EXPECT_EQ(&BarVal->getPointeeLoc(), &FooVal->getPointeeLoc()); in TEST()
2403 const auto *BarVal = in TEST() local
2405 EXPECT_EQ(&BarVal->getReferentLoc(), &FooVal->getPointeeLoc()); in TEST()
2437 const auto *BarVal = in TEST() local
2445 EXPECT_NE(BazVal, BarVal); in TEST()
2478 const auto *BarVal = dyn_cast_or_null<IntegerValue>( in TEST() local
2480 ASSERT_THAT(BarVal, NotNull()); in TEST()
2482 EXPECT_EQ(BarVal, FooPointeeVal); in TEST()
2632 const auto *BarVal = dyn_cast_or_null<AtomicBoolValue>( in TEST() local
2634 ASSERT_THAT(BarVal, NotNull()); in TEST()
2637 EXPECT_EQ(BarVal, &Env.getBoolLiteralValue(false)); in TEST()
2667 const auto *BarVal = dyn_cast_or_null<BoolValue>( in TEST() local
2669 ASSERT_THAT(BarVal, NotNull()); in TEST()
2688 EXPECT_EQ(&BazRightSubValVal->getLeftSubValue(), BarVal); in TEST()
2718 const auto *BarVal = dyn_cast_or_null<BoolValue>( in TEST() local
2720 ASSERT_THAT(BarVal, NotNull()); in TEST()
2741 EXPECT_EQ(&BazVal->getRightSubValue(), BarVal); in TEST()
2833 const auto *BarVal = dyn_cast_or_null<NegationValue>( in TEST() local
2835 ASSERT_THAT(BarVal, NotNull()); in TEST()
2837 EXPECT_EQ(&BarVal->getSubVal(), FooVal); in TEST()
3055 const Value *BarVal = Env.getValue(*BarLoc); in TEST() local
3056 EXPECT_TRUE(isa_and_nonnull<IntegerValue>(BarVal)); in TEST()
3058 EXPECT_NE(FooVal, BarVal); in TEST()
3086 const Value *BarVal = in TEST() local
3090 EXPECT_EQ(BarVal, BazVal); in TEST()
3120 const Value *BarVal = in TEST() local
3124 EXPECT_EQ(BarVal, BazVal); in TEST()
3154 const Value *BarVal = in TEST() local
3158 EXPECT_EQ(BarVal, BazVal); in TEST()
3197 const auto *BarVal = in TEST() local
3202 EXPECT_EQ(A2Val->getChild(*FooDecl), BarVal); in TEST()
3358 auto &BarVal = *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST() local
3359 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal))); in TEST()
3391 auto &BarVal = in TEST() local
3393 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal))); in TEST()