crypto/evp/evp_fetch.c:126: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `ossl_namemap_add`.
Showing all 8 steps of the trace


crypto/evp/evp_fetch.c:126:22: Call
124.   
125.       if ((namemap = ossl_namemap_stored(methdata->libctx)) == NULL
126.           || (nameid = ossl_namemap_add(namemap, name)) == 0
                            ^
127.           || (methid = method_id(operation_id, nameid)) == 0)
128.           return 0;

crypto/core_namemap.c:166:1: Parameter `namemap->namenum->num_items`
  164.   }
  165.   
  166. > int ossl_namemap_add(OSSL_NAMEMAP *namemap, const char *name)
  167.   {
  168.       NAMEMAP_ENTRY *entry;

crypto/core_namemap.c:207:9: Call
  205.           if (entry->number != 0)
  206.               (void)sk_NAMEMAP_ENTRY_pop(namemap->numname);
  207.           lh_NAMEMAP_ENTRY_delete(namemap->namenum, entry);
                 ^
  208.           CRYPTO_THREAD_unlock(namemap->lock);
  209.       }

crypto/core_namemap.c:21:1: Parameter `lh->num_items`
    19.   } NAMEMAP_ENTRY;
    20.   
    21. > DEFINE_LHASH_OF(NAMEMAP_ENTRY);
    22.   DEFINE_STACK_OF(NAMEMAP_ENTRY)
    23.   

crypto/core_namemap.c:21:1: Call
    19.   } NAMEMAP_ENTRY;
    20.   
    21. > DEFINE_LHASH_OF(NAMEMAP_ENTRY);
    22.   DEFINE_STACK_OF(NAMEMAP_ENTRY)
    23.   

crypto/lhash/lhash.c:137:1: <LHS trace>
135.   }
136.   
137. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
138.   {
139.       unsigned long hash;

crypto/lhash/lhash.c:137:1: Parameter `lh->num_items`
      135.   }
      136.   
      137. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
      138.   {
      139.       unsigned long hash;

crypto/lhash/lhash.c:157:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `ossl_namemap_add` 
      155.       }
      156.   
      157.       lh->num_items--;
                 ^
      158.       if ((lh->num_nodes > MIN_NODES) &&
      159.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
