Lines Matching defs:BazVal

1893         const auto *BazVal =
1898         EXPECT_EQ(Env.getValue(*QuuxDecl), BazVal);
1963         const auto *BazVal =
1968         EXPECT_EQ(Env.getValue(*QuuxDecl), BazVal);
3693         const auto *BazVal = cast<PointerValue>(Env.getValue(*BazDecl));
3698         EXPECT_NE(FooXVal, BazVal);
3699         EXPECT_NE(BarVal, BazVal);
3709         const StorageLocation &BazPointeeLoc = BazVal->getPointeeLoc();
3711         EXPECT_EQ(BazVal, &Env.fork().getOrCreateNullPointerValue(
4318           const auto *BazVal =
4320           ASSERT_THAT(BazVal, NotNull());
4322           EXPECT_EQ(&BazVal->formula(),
4366           const auto *BazVal =
4368           ASSERT_THAT(BazVal, NotNull());
4370           EXPECT_EQ(&BazVal->formula(),
4693         const Value *BazVal = cast<IntegerValue>(Env.getValue(*BazDecl));
4694         EXPECT_EQ(BarVal, BazVal);
4724         const Value *BazVal = cast<IntegerValue>(Env.getValue(*BazDecl));
4725         EXPECT_EQ(BarVal, BazVal);
4755         const Value *BazVal = cast<IntegerValue>(Env.getValue(*BazDecl));
4756         EXPECT_EQ(BarVal, BazVal);
6417         auto &BazVal = getFormula(*BazDecl, Env);
6418         EXPECT_TRUE(Env.proves(BazVal));
6419         EXPECT_FALSE(Env.proves(Env.arena().makeNot(BazVal)));
6515         auto &BazVal = getFormula(*BazDecl, Env);
6516         EXPECT_TRUE(Env.proves(BazVal));