providers/common/ciphers/cipher_common.c:191: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - 16):unsigned64.
Showing all 4 steps of the trace


providers/common/ciphers/cipher_common.c:164:25: <LHS trace>
162.       size_t outlint = 0;
163.       PROV_CIPHER_CTX *ctx = (PROV_CIPHER_CTX *)vctx;
164.       size_t nextblocks = fillblock(ctx->buf, &ctx->bufsz, GENERIC_BLOCK_SIZE, &in,
                               ^
165.                                     &inl);
166.   

providers/common/ciphers/cipher_common.c:164:25: Call
162.       size_t outlint = 0;
163.       PROV_CIPHER_CTX *ctx = (PROV_CIPHER_CTX *)vctx;
164.       size_t nextblocks = fillblock(ctx->buf, &ctx->bufsz, GENERIC_BLOCK_SIZE, &in,
                               ^
165.                                     &inl);
166.   

providers/common/ciphers/block.c:33:1: Parameter `blocksize`
  31.    * which is a multiple of the blocksize.
  32.    */
  33. > size_t fillblock(unsigned char *buf, size_t *buflen, size_t blocksize,
  34.                    const unsigned char **in, size_t *inlen)
  35.   {

providers/common/ciphers/cipher_common.c:191:13: Binary operation: ([1, +oo] - 16):unsigned64
189.                   return 0;
190.               }
191.               nextblocks -= GENERIC_BLOCK_SIZE;
                   ^
192.           }
193.           outlint += nextblocks;
