Lines Matching defs:QuxVal

4311           const auto *QuxVal =
4313           ASSERT_THAT(QuxVal, NotNull());
4324                                A.makeOr(BarVal->formula(), QuxVal->formula())));
4359           const auto *QuxVal =
4361           ASSERT_THAT(QuxVal, NotNull());
4371                     &A.makeOr(A.makeAnd(FooVal->formula(), QuxVal->formula()),
5343         const Value *QuxVal = Env.getValue(*QuxDecl);
5344         ASSERT_THAT(QuxVal, NotNull());
5354         EXPECT_EQ(Env.getValue(*BoundFooRefDecl), QuxVal);
5402         const Value *QuxVal = Env.getValue(*QuxDecl);
5403         ASSERT_THAT(QuxVal, NotNull());
5413         EXPECT_EQ(Env.getValue(*BoundFooRefDecl), QuxVal);
5462         const Value *QuxVal = Env.getValue(*QuxDecl);
5463         ASSERT_THAT(QuxVal, NotNull());
5473         EXPECT_EQ(Env.getValue(*BoundFooDecl), QuxVal);