crypto/asn1/a_int.c:85: error: INTEGER_OVERFLOW_L2
  ([0, `len`] - 1):unsigned64.
Showing all 3 steps of the trace


crypto/asn1/a_int.c:76:1: <LHS trace>
74.    * used elsewhere below...
75.    */
76. > static void twos_complement(unsigned char *dst, const unsigned char *src,
77.                               size_t len, unsigned char pad)
78.   {

crypto/asn1/a_int.c:76:1: Parameter `len`
74.    * used elsewhere below...
75.    */
76. > static void twos_complement(unsigned char *dst, const unsigned char *src,
77.                               size_t len, unsigned char pad)
78.   {

crypto/asn1/a_int.c:85:12: Binary operation: ([0, len] - 1):unsigned64
83.       src += len;
84.       /* two's complement value: ~value + 1 */
85.       while (len-- != 0) {
                 ^
86.           *(--dst) = (unsigned char)(carry += *(--src) ^ pad);
87.           carry >>= 8;
