ASN.1 named bit sematic check results false error
Submitted by Gyorgy Rethy
Link to original bug (#521410)
Description
Created attachment 269975 IEEE Security definitions ASN.1
ETSI is changing ITS security definitions to ASN.1, this problem come up during this work.
In ASN.1, named bits identify the position of the bit(s) within the instance, which shall be set to 1. All other bits in the instance are set to 0. But this doesn't influence the value space of the type.
For example in EndEntityType ::= BIT STRING {app (0), enrol (1) } (SIZE (8)) (ALL EXCEPT {}) the actual value of app is: '10000000'B and the value of enroll is: '01000000'B (and {app,enroll} would be '11000000'B)
Titan, when semantic checking the use (see attached file) of the above named bit 'app', gives the false error:
../asn1/LibIts/Security/IEEE1609dot2.asn:293: error: '1'B is not a valid value for type `bitstring
Attachment 269975, "IEEE Security definitions ASN.1":
IEEE1609dot2.zip
Version: 6.2.0