56     VERIFY(buffer != NULL);  in ASN1UnmarshalContextInitialize()
57     VERIFY(size > 0);  in ASN1UnmarshalContextInitialize()
80     VERIFY(ctx->offset < ctx->size);  in ASN1DecodeLength()
95             VERIFY(value < 0x0080);  in ASN1DecodeLength()
129     VERIFY(ctx->offset < ctx->size);  in ASN1NextTag()
133     VERIFY((ctx->tag & 0x1F) != 0x1F);  in ASN1NextTag()
165     VERIFY(length >= 1);  in ASN1GetBitStringValue()
166     VERIFY(ctx->tag == ASN1_BITSTRING);  in ASN1GetBitStringValue()
173     VERIFY((shift < 8) && ((length > 0) || (shift == 0)));  in ASN1GetBitStringValue()
179         VERIFY((value & 0xFF000000) == 0); // can't loose significant bits  in ASN1GetBitStringValue()
188         VERIFY(((value & (0xFF000000 << (8 - shift)))) == 0);  in ASN1GetBitStringValue()
353     VERIFY((count >= 0) && ((buffer != NULL) || (count == 0)));  in ASN1PushBytes()
357     VERIFY(ctx->offset >= 0);  in ASN1PushBytes()
394     VERIFY(len >= 0);  in ASN1PushLength()