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);