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


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

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

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