apps/s_cb.c:1109: error: INTEGER_OVERFLOW_L2
  ([0, `len`] - 1):unsigned64.
Showing all 3 steps of the trace


apps/s_cb.c:1094:1: <LHS trace>
1092.    * Hex encoder for TLSA RRdata, not ':' delimited.
1093.    */
1094. > static char *hexencode(const unsigned char *data, size_t len)
1095.   {
1096.       static const char *hex = "0123456789abcdef";

apps/s_cb.c:1094:1: Parameter `len`
1092.    * Hex encoder for TLSA RRdata, not ':' delimited.
1093.    */
1094. > static char *hexencode(const unsigned char *data, size_t len)
1095.   {
1096.       static const char *hex = "0123456789abcdef";

apps/s_cb.c:1109:12: Binary operation: ([0, len] - 1):unsigned64
1107.       cp = out = app_malloc(ilen, "TLSA hex data buffer");
1108.   
1109.       while (len-- > 0) {
                   ^
1110.           *cp++ = hex[(*data >> 4) & 0x0f];
1111.           *cp++ = hex[*data++ & 0x0f];

static char *hexencode(const unsigned char *data, size_t len)
{
    static const char *hex = "0123456789abcdef";
    char *out;
    char *cp;
    size_t outlen = 2 * len + 1;
    int ilen = (int) outlen;
    if (outlen < len || ilen < 0 || outlen != (size_t)ilen) {
        BIO_printf(bio_err, "%s: %" PRIu64 "-byte buffer too large to hexencode\n",
                   opt_getprog(), (uint64_t)len);
        exit(1);
    }
    cp = out = app_malloc(ilen, "TLSA hex data buffer");
    while (len-- > 0) {
        *cp++ = hex[(*data >> 4) & 0x0f];
        *cp++ = hex[*data++ & 0x0f];
    }
    *cp = '\0';
    return out;
}
['static char *hexencode(const unsigned char *data, size_t len)\n{\n    static const char *hex = "0123456789abcdef";\n    char *out;\n    char *cp;\n    size_t outlen = 2 * len + 1;\n    int ilen = (int) outlen;\n    if (outlen < len || ilen < 0 || outlen != (size_t)ilen) {\n        BIO_printf(bio_err, "%s: %" PRIu64 "-byte buffer too large to hexencode\\n",\n                   opt_getprog(), (uint64_t)len);\n        exit(1);\n    }\n    cp = out = app_malloc(ilen, "TLSA hex data buffer");\n    while (len-- > 0) {\n        *cp++ = hex[(*data >> 4) & 0x0f];\n        *cp++ = hex[*data++ & 0x0f];\n    }\n    *cp = \'\\0\';\n    return out;\n}']