Lines Matching full:env

44   Environment Env(DAContext);
45   auto &A = Env.arena();
47   EXPECT_TRUE(Env.proves(A.makeLiteral(true)));
48   EXPECT_TRUE(Env.allows(A.makeLiteral(true)));
49   EXPECT_FALSE(Env.proves(A.makeLiteral(false)));
50   EXPECT_FALSE(Env.allows(A.makeLiteral(false)));
53   EXPECT_FALSE(Env.proves(X));
54   EXPECT_TRUE(Env.allows(X));
56   Env.assume(X);
57   EXPECT_TRUE(Env.proves(X));
58   EXPECT_TRUE(Env.allows(X));
61   EXPECT_FALSE(Env.proves(NotX));
62   EXPECT_FALSE(Env.allows(NotX));
99   Environment Env(DAContext);
101       cast<IntegerValue>(Env.createValue(Unit->getASTContext().IntTy));
102   Env.setValue(*WithCleanups, *Val1);
103   EXPECT_EQ(Env.getValue(*WithCleanups), Val1);
106       cast<IntegerValue>(Env.createValue(Unit->getASTContext().IntTy));
107   Env.setValue(*Paren, *Val2);
108   EXPECT_EQ(Env.getValue(*Paren), Val2);
149   Environment Env(DAContext, *Fun);
150   Env.initialize();
151   auto &SLoc = cast<RecordStorageLocation>(Env.createObject(Ty));
152   PointerValue *PV = cast_or_null<PointerValue>(getFieldValue(&SLoc, *R, Env));
222   Environment Env(DAContext, *Fun);
223   Env.initialize();
224   EXPECT_THAT(Env.getValue(*Var), NotNull());
273   Environment Env(DAContext, *Constructor);
274   Env.initialize();
275   auto &Loc = cast<RecordStorageLocation>(Env.createObject(QTy));
276   EXPECT_THAT(getFieldValue(&Loc, *XDecl, Env), NotNull());
317   Environment Env(DAContext, *Fun);
318   Env.initialize();
320       cast<RecordStorageLocation>(Env.getStorageLocation(*GlobalDecl));
321   auto *BarVal = getFieldValue(GlobalLoc, *BarDecl, Env);
353   Environment Env(DAContext, *Ctor);
354   Env.initialize();
355   EXPECT_THAT(Env.getValue(*Var), NotNull());
403   Environment Env(DAContext, *Fun);
404   Env.initialize();
439   Environment Env(DAContext, *Constructor);
440   Env.initialize();
441   EXPECT_EQ(&Env.getResultObjectLocation(*DefaultInit),
442             &Env.getResultObjectLocation(*DefaultInit->getExpr()));
485   Environment Env(DAContext, *Constructor);
486   Env.initialize();
488   RecordStorageLocation &Loc = Env.getResultObjectLocation(*InheritedCtorInit);
491   EXPECT_EQ(&Loc, Env.getThisPointeeStorageLocation());
518   Environment Env(DAContext, *DeclStatement);
520   Env.initialize();
522   Env.getResultObjectLocation(*Init);
546   Environment Env(DAContext, *LambdaCallOperator);
548   Env.initialize();
550   ASSERT_NE(nullptr, Env.getThisPointeeStorageLocation());