Lines Matching defs:Env3
862 const Environment &Env3 = getEnvironmentAtAnnotation(Results, "p3");
863 EXPECT_EQ(Env3.getStorageLocation(*FooDecl), FooLoc);
864 EXPECT_THAT(Env3.getStorageLocation(*BarDecl), IsNull());
865 EXPECT_THAT(Env3.getStorageLocation(*BazDecl), NotNull());
2349 const Environment &Env3 = getEnvironmentAtAnnotation(Results, "p3");
2352 cast<RecordStorageLocation>(Env3.getStorageLocation(*FooDecl));
2354 cast<RecordStorageLocation>(Env3.getStorageLocation(*BarDecl));
2355 EXPECT_FALSE(recordsEqual(*FooLoc3, *BarLoc3, Env3));
2358 cast<IntegerValue>(getFieldValue(FooLoc3, *BazDecl, Env3));
2360 cast<IntegerValue>(getFieldValue(BarLoc3, *BazDecl, Env3));