reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
44 SVal Zero = SVB.makeZeroVal(ACtx.IntTy); 45 SVal One = SVB.makeIntVal(1, ACtx.IntTy); 46 SVal NarrowZero = SVB.makeZeroVal(ACtx.CharTy); 51 ASSERT_EQ(Zero, StMgr.getBinding(StX0, LX0, ACtx.IntTy)); 56 ASSERT_EQ(Zero, StMgr.getBinding(StY0, LY0, ACtx.IntTy)); 65 ASSERT_EQ(Zero, StMgr.getBinding(StZ0, LZ0, ACtx.IntTy)); 71 ASSERT_EQ(One, StMgr.getBinding(StX1, LX1, ACtx.IntTy)); 76 ASSERT_EQ(One, StMgr.getBinding(StY1, LY1, ACtx.IntTy));