47     const ASTContext &ASTCtxt = Eng.getContext();  in performTest()  local
67     SVal Zero = Builder.makeZeroVal(ASTCtxt.IntTy);  in performTest()
68     SVal One = Builder.makeIntVal(1, ASTCtxt.IntTy);  in performTest()
69     SVal NarrowZero = Builder.makeZeroVal(ASTCtxt.CharTy);  in performTest()
73     EXPECT_EQ(Zero, SManager.getBinding(StX0, LX0, ASTCtxt.IntTy));  in performTest()
78     EXPECT_EQ(Zero, SManager.getBinding(StY0, LY0, ASTCtxt.IntTy));  in performTest()
86     EXPECT_EQ(Zero, SManager.getBinding(StZ0, LZ0, ASTCtxt.IntTy));  in performTest()
91     EXPECT_EQ(One, SManager.getBinding(StX1, LX1, ASTCtxt.IntTy));  in performTest()
96     EXPECT_EQ(One, SManager.getBinding(StY1, LY1, ASTCtxt.IntTy));  in performTest()
115     ASTContext &ASTCtxt = Eng.getContext();  in performTest()  local
124     QualType Int = ASTCtxt.IntTy;  in performTest()
132         MRManager.getElementRegion(ASTCtxt.IntTy, Zero, CLRegion, ASTCtxt));  in performTest()