crypto/bio/bio_cb.c:36: error: INTEGER_OVERFLOW_L2
  (256 - [0, 2147483647]):unsigned64.
Showing all 3 steps of the trace


crypto/bio/bio_cb.c:34:9: <RHS trace>
32.       /* Ignore errors and continue printing the other information. */
33.       if (len < 0)
34.           len = 0;
              ^
35.       p = buf + len;
36.       p_maxlen = sizeof(buf) - len;

crypto/bio/bio_cb.c:34:9: Assignment
32.       /* Ignore errors and continue printing the other information. */
33.       if (len < 0)
34.           len = 0;
              ^
35.       p = buf + len;
36.       p_maxlen = sizeof(buf) - len;

crypto/bio/bio_cb.c:36:5: Binary operation: (256 - [0, 2147483647]):unsigned64
34.           len = 0;
35.       p = buf + len;
36.       p_maxlen = sizeof(buf) - len;
          ^
37.   
38.       switch (cmd) {
