crypto/rsa/rsa_oaep.c:194: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero`.
Showing all 5 steps of the trace


crypto/rsa/rsa_oaep.c:194:35: Unknown value from: CRYPTO_memcmp
192.           goto cleanup;
193.   
194.       good &= constant_time_is_zero(CRYPTO_memcmp(db, phash, mdlen));
                                         ^
195.   
196.       found_one_byte = 0;

crypto/rsa/rsa_oaep.c:194:13: Call
192.           goto cleanup;
193.   
194.       good &= constant_time_is_zero(CRYPTO_memcmp(db, phash, mdlen));
                   ^
195.   
196.       found_one_byte = 0;

include/internal/constant_time_locl.h:129:1: <LHS trace>
127.   }
128.   
129. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
130.   {
131.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:129:1: Parameter `a`
  127.   }
  128.   
  129. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
  130.   {
  131.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:131:12: Binary operation: ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero` 
  129.   static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
  130.   {
  131.       return constant_time_msb(~a & (a - 1));
                    ^
  132.   }
  133.   

static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
{
    return constant_time_msb(~a & (a - 1));
}
['int RSA_padding_check_PKCS1_OAEP_mgf1(unsigned char *to, int tlen,\n                                      const unsigned char *from, int flen,\n                                      int num, const unsigned char *param,\n                                      int plen, const EVP_MD *md,\n                                      const EVP_MD *mgf1md)\n{\n    int i, dblen, mlen = -1, one_index = 0, msg_index;\n    unsigned int good, found_one_byte;\n    const unsigned char *maskedseed, *maskeddb;\n    unsigned char *db = NULL, *em = NULL, seed[EVP_MAX_MD_SIZE],\n        phash[EVP_MAX_MD_SIZE];\n    int mdlen;\n    if (md == NULL)\n        md = EVP_sha1();\n    if (mgf1md == NULL)\n        mgf1md = md;\n    mdlen = EVP_MD_size(md);\n    if (tlen <= 0 || flen <= 0)\n        return -1;\n    if (num < flen || num < 2 * mdlen + 2)\n        goto decoding_err;\n    dblen = num - mdlen - 1;\n    db = OPENSSL_malloc(dblen);\n    em = OPENSSL_malloc(num);\n    if (db == NULL || em == NULL) {\n        RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP_MGF1, ERR_R_MALLOC_FAILURE);\n        goto cleanup;\n    }\n    memset(em, 0, num);\n    memcpy(em + num - flen, from, flen);\n    good = constant_time_is_zero(em[0]);\n    maskedseed = em + 1;\n    maskeddb = em + 1 + mdlen;\n    if (PKCS1_MGF1(seed, mdlen, maskeddb, dblen, mgf1md))\n        goto cleanup;\n    for (i = 0; i < mdlen; i++)\n        seed[i] ^= maskedseed[i];\n    if (PKCS1_MGF1(db, dblen, seed, mdlen, mgf1md))\n        goto cleanup;\n    for (i = 0; i < dblen; i++)\n        db[i] ^= maskeddb[i];\n    if (!EVP_Digest((void *)param, plen, phash, NULL, md, NULL))\n        goto cleanup;\n    good &= constant_time_is_zero(CRYPTO_memcmp(db, phash, mdlen));\n    found_one_byte = 0;\n    for (i = mdlen; i < dblen; i++) {\n        unsigned int equals1 = constant_time_eq(db[i], 1);\n        unsigned int equals0 = constant_time_is_zero(db[i]);\n        one_index = constant_time_select_int(~found_one_byte & equals1,\n                                             i, one_index);\n        found_one_byte |= equals1;\n        good &= (found_one_byte | equals0);\n    }\n    good &= found_one_byte;\n    if (!good)\n        goto decoding_err;\n    msg_index = one_index + 1;\n    mlen = dblen - msg_index;\n    if (tlen < mlen) {\n        RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP_MGF1, RSA_R_DATA_TOO_LARGE);\n        mlen = -1;\n    } else {\n        memcpy(to, db + msg_index, mlen);\n        goto cleanup;\n    }\n decoding_err:\n    RSAerr(RSA_F_RSA_PADDING_CHECK_PKCS1_OAEP_MGF1,\n           RSA_R_OAEP_DECODING_ERROR);\n cleanup:\n    OPENSSL_free(db);\n    OPENSSL_free(em);\n    return mlen;\n}', 'static ossl_inline unsigned int constant_time_is_zero(unsigned int a)\n{\n    return constant_time_msb(~a & (a - 1));\n}']