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


providers/common/ciphers/aes.c:101:25: <LHS trace>
99.   {
100.       PROV_AES_KEY *ctx = (PROV_AES_KEY *)vctx;
101.       size_t nextblocks = fillblock(ctx->buf, &ctx->bufsz, AES_BLOCK_SIZE, &in,
                               ^
102.                                     &inl);
103.       size_t outlint = 0;

providers/common/ciphers/aes.c:101:25: Call
99.   {
100.       PROV_AES_KEY *ctx = (PROV_AES_KEY *)vctx;
101.       size_t nextblocks = fillblock(ctx->buf, &ctx->bufsz, AES_BLOCK_SIZE, &in,
                               ^
102.                                     &inl);
103.       size_t outlint = 0;

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

providers/common/ciphers/aes.c:130:13: Binary operation: ([1, +oo] - 16):unsigned64
128.                   return 0;
129.               }
130.               nextblocks -= AES_BLOCK_SIZE;
                   ^
131.           }
132.           outlint += nextblocks;
