The expression _probe_raw_integer_asn1_encoded_size((uint8_t*)"\x00\x00\x01\x01", 4) evaluates to 3, which implies the ASN.1 encoding of this integer is 00 01 01.
If the contents octets of an integer value encoding consist of more than one octet, then the bits of the first octet and bit 8 of the second octet:
a) shall not all be ones; and
b) shall not all be zero.
This rule specifies the ASN.1 encoding of the example to be 01 01, i.e. the function should return 2.
As of 88bbe9b59ec294282b626b6688846f28a94f946e,
_probe_raw_integer_asn1_encoded_size
computes the length of ASN.1 encoded integer as:The expression
_probe_raw_integer_asn1_encoded_size((uint8_t*)"\x00\x00\x01\x01", 4)
evaluates to 3, which implies the ASN.1 encoding of this integer is00 01 01
.Per X.690-0207 section 8.3.2:
This rule specifies the ASN.1 encoding of the example to be
01 01
, i.e. the function should return 2.