crypto/engine/eng_lib.c:179: error: MEMORY_LEAK
  memory dynamically allocated by call to `int_cleanup_item()` at line 177, column 12 is not reachable after line 179, column 9.
Showing all 43 steps of the trace


crypto/engine/eng_lib.c:172:1: start of procedure engine_cleanup_add_first()
170.   }
171.   
172. > void engine_cleanup_add_first(ENGINE_CLEANUP_CB *cb)
173.   {
174.       ENGINE_CLEANUP_ITEM *item;

crypto/engine/eng_lib.c:175:10: 
173.   {
174.       ENGINE_CLEANUP_ITEM *item;
175. >     if (!int_cleanup_check(1))
176.           return;
177.       item = int_cleanup_item(cb);

crypto/engine/eng_lib.c:153:1: start of procedure int_cleanup_check()
  151.    */
  152.   static STACK_OF(ENGINE_CLEANUP_ITEM) *cleanup_stack = NULL;
  153. > static int int_cleanup_check(int create)
  154.   {
  155.       if (cleanup_stack)

crypto/engine/eng_lib.c:155:9: Taking true branch
  153.   static int int_cleanup_check(int create)
  154.   {
  155.       if (cleanup_stack)
                 ^
  156.           return 1;
  157.       if (!create)

crypto/engine/eng_lib.c:156:9: 
  154.   {
  155.       if (cleanup_stack)
  156. >         return 1;
  157.       if (!create)
  158.           return 0;

crypto/engine/eng_lib.c:161:1: return from a call to int_cleanup_check
  159.       cleanup_stack = sk_ENGINE_CLEANUP_ITEM_new_null();
  160.       return (cleanup_stack ? 1 : 0);
  161. > }
  162.   
  163.   static ENGINE_CLEANUP_ITEM *int_cleanup_item(ENGINE_CLEANUP_CB *cb)

crypto/engine/eng_lib.c:175:10: Taking false branch
173.   {
174.       ENGINE_CLEANUP_ITEM *item;
175.       if (!int_cleanup_check(1))
                ^
176.           return;
177.       item = int_cleanup_item(cb);

crypto/engine/eng_lib.c:177:5: 
175.       if (!int_cleanup_check(1))
176.           return;
177. >     item = int_cleanup_item(cb);
178.       if (item)
179.           sk_ENGINE_CLEANUP_ITEM_insert(cleanup_stack, item, 0);

crypto/engine/eng_lib.c:163:1: start of procedure int_cleanup_item()
  161.   }
  162.   
  163. > static ENGINE_CLEANUP_ITEM *int_cleanup_item(ENGINE_CLEANUP_CB *cb)
  164.   {
  165.       ENGINE_CLEANUP_ITEM *item = OPENSSL_malloc(sizeof(*item));

crypto/engine/eng_lib.c:165:5: 
  163.   static ENGINE_CLEANUP_ITEM *int_cleanup_item(ENGINE_CLEANUP_CB *cb)
  164.   {
  165. >     ENGINE_CLEANUP_ITEM *item = OPENSSL_malloc(sizeof(*item));
  166.       if (item == NULL)
  167.           return NULL;

crypto/mem.c:120:1: start of procedure CRYPTO_malloc()
    118.   }
    119.   
    120. > void *CRYPTO_malloc(size_t num, const char *file, int line)
    121.   {
    122.       void *ret = NULL;

crypto/mem.c:122:5: 
    120.   void *CRYPTO_malloc(size_t num, const char *file, int line)
    121.   {
    122. >     void *ret = NULL;
    123.   
    124.       if (num <= 0)

crypto/mem.c:124:9: Taking false branch
    122.       void *ret = NULL;
    123.   
    124.       if (num <= 0)
                   ^
    125.           return NULL;
    126.   

crypto/mem.c:127:5: 
    125.           return NULL;
    126.   
    127. >     allow_customize = 0;
    128.   #ifdef CRYPTO_MDEBUG
    129.       if (call_malloc_debug) {

crypto/mem.c:137:5: 
    135.       }
    136.   #else
    137. >     (void)file;
    138.       (void)line;
    139.       ret = malloc(num);

crypto/mem.c:138:5: 
    136.   #else
    137.       (void)file;
    138. >     (void)line;
    139.       ret = malloc(num);
    140.   #endif

crypto/mem.c:139:5: 
    137.       (void)file;
    138.       (void)line;
    139. >     ret = malloc(num);
    140.   #endif
    141.   

crypto/mem.c:154:5: 
    152.   #endif
    153.   
    154. >     return ret;
    155.   }
    156.   

crypto/mem.c:155:1: return from a call to CRYPTO_malloc
    153.   
    154.       return ret;
    155. > }
    156.   
    157.   void *CRYPTO_zalloc(size_t num, const char *file, int line)

crypto/engine/eng_lib.c:166:9: Taking false branch
  164.   {
  165.       ENGINE_CLEANUP_ITEM *item = OPENSSL_malloc(sizeof(*item));
  166.       if (item == NULL)
                 ^
  167.           return NULL;
  168.       item->cb = cb;

crypto/engine/eng_lib.c:168:5: 
  166.       if (item == NULL)
  167.           return NULL;
  168. >     item->cb = cb;
  169.       return item;
  170.   }

crypto/engine/eng_lib.c:169:5: 
  167.           return NULL;
  168.       item->cb = cb;
  169. >     return item;
  170.   }
  171.   

crypto/engine/eng_lib.c:170:1: return from a call to int_cleanup_item
  168.       item->cb = cb;
  169.       return item;
  170. > }
  171.   
  172.   void engine_cleanup_add_first(ENGINE_CLEANUP_CB *cb)

crypto/engine/eng_lib.c:178:9: Taking true branch
176.           return;
177.       item = int_cleanup_item(cb);
178.       if (item)
               ^
179.           sk_ENGINE_CLEANUP_ITEM_insert(cleanup_stack, item, 0);
180.   }

crypto/engine/eng_lib.c:179:9: 
177.       item = int_cleanup_item(cb);
178.       if (item)
179. >         sk_ENGINE_CLEANUP_ITEM_insert(cleanup_stack, item, 0);
180.   }
181.   

crypto/engine/eng_int.h:109:1: start of procedure sk_ENGINE_CLEANUP_ITEM_insert()
  107.       ENGINE_CLEANUP_CB *cb;
  108.   } ENGINE_CLEANUP_ITEM;
  109. > DEFINE_STACK_OF(ENGINE_CLEANUP_ITEM)
  110.   void engine_cleanup_add_first(ENGINE_CLEANUP_CB *cb);
  111.   void engine_cleanup_add_last(ENGINE_CLEANUP_CB *cb);

crypto/stack/stack.c:167:1: start of procedure sk_insert()
    165.   }
    166.   
    167. > int sk_insert(_STACK *st, void *data, int loc)
    168.   {
    169.       char **s;

crypto/stack/stack.c:171:9: Taking false branch
    169.       char **s;
    170.   
    171.       if (st == NULL)
                   ^
    172.           return 0;
    173.       if (st->num_alloc <= st->num + 1) {

crypto/stack/stack.c:173:9: Taking true branch
    171.       if (st == NULL)
    172.           return 0;
    173.       if (st->num_alloc <= st->num + 1) {
                   ^
    174.           s = OPENSSL_realloc((char *)st->data,
    175.                               (unsigned int)sizeof(char *) * st->num_alloc * 2);

crypto/stack/stack.c:174:9: 
    172.           return 0;
    173.       if (st->num_alloc <= st->num + 1) {
    174. >         s = OPENSSL_realloc((char *)st->data,
    175.                               (unsigned int)sizeof(char *) * st->num_alloc * 2);
    176.           if (s == NULL)

crypto/mem.c:166:1: start of procedure CRYPTO_realloc()
      164.   }
      165.   
      166. > void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)
      167.   {
      168.       if (str == NULL)

crypto/mem.c:168:9: Taking true branch
      166.   void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)
      167.   {
      168.       if (str == NULL)
                     ^
      169.           return CRYPTO_malloc(num, file, line);
      170.   

crypto/mem.c:169:9: 
      167.   {
      168.       if (str == NULL)
      169. >         return CRYPTO_malloc(num, file, line);
      170.   
      171.       if (num == 0) {

crypto/mem.c:120:1: start of procedure CRYPTO_malloc()
        118.   }
        119.   
        120. > void *CRYPTO_malloc(size_t num, const char *file, int line)
        121.   {
        122.       void *ret = NULL;

crypto/mem.c:122:5: 
        120.   void *CRYPTO_malloc(size_t num, const char *file, int line)
        121.   {
        122. >     void *ret = NULL;
        123.   
        124.       if (num <= 0)

crypto/mem.c:124:9: Taking true branch
        122.       void *ret = NULL;
        123.   
        124.       if (num <= 0)
                       ^
        125.           return NULL;
        126.   

crypto/mem.c:125:9: 
        123.   
        124.       if (num <= 0)
        125. >         return NULL;
        126.   
        127.       allow_customize = 0;

crypto/mem.c:155:1: return from a call to CRYPTO_malloc
        153.   
        154.       return ret;
        155. > }
        156.   
        157.   void *CRYPTO_zalloc(size_t num, const char *file, int line)

crypto/mem.c:191:1: return from a call to CRYPTO_realloc
      189.       return realloc(str, num);
      190.   
      191. > }
      192.   
      193.   void *CRYPTO_clear_realloc(void *str, size_t old_len, size_t num,

crypto/stack/stack.c:176:13: Taking true branch
    174.           s = OPENSSL_realloc((char *)st->data,
    175.                               (unsigned int)sizeof(char *) * st->num_alloc * 2);
    176.           if (s == NULL)
                       ^
    177.               return (0);
    178.           st->data = s;

crypto/stack/stack.c:177:13: 
    175.                               (unsigned int)sizeof(char *) * st->num_alloc * 2);
    176.           if (s == NULL)
    177. >             return (0);
    178.           st->data = s;
    179.           st->num_alloc *= 2;

crypto/stack/stack.c:191:1: return from a call to sk_insert
    189.       st->sorted = 0;
    190.       return (st->num);
    191. > }
    192.   
    193.   void *sk_delete_ptr(_STACK *st, void *p)

crypto/engine/eng_int.h:109:1: return from a call to sk_ENGINE_CLEANUP_ITEM_insert
  107.       ENGINE_CLEANUP_CB *cb;
  108.   } ENGINE_CLEANUP_ITEM;
  109. > DEFINE_STACK_OF(ENGINE_CLEANUP_ITEM)
  110.   void engine_cleanup_add_first(ENGINE_CLEANUP_CB *cb);
  111.   void engine_cleanup_add_last(ENGINE_CLEANUP_CB *cb);

void engine_cleanup_add_first(ENGINE_CLEANUP_CB *cb)
{
    ENGINE_CLEANUP_ITEM *item;
    if (!int_cleanup_check(1))
        return;
    item = int_cleanup_item(cb);
    if (item)
        sk_ENGINE_CLEANUP_ITEM_insert(cleanup_stack, item, 0);
}
['void engine_cleanup_add_first(ENGINE_CLEANUP_CB *cb)\n{\n    ENGINE_CLEANUP_ITEM *item;\n    if (!int_cleanup_check(1))\n        return;\n    item = int_cleanup_item(cb);\n    if (item)\n        sk_ENGINE_CLEANUP_ITEM_insert(cleanup_stack, item, 0);\n}', 'static int int_cleanup_check(int create)\n{\n    if (cleanup_stack)\n        return 1;\n    if (!create)\n        return 0;\n    cleanup_stack = sk_ENGINE_CLEANUP_ITEM_new_null();\n    return (cleanup_stack ? 1 : 0);\n}', 'static ENGINE_CLEANUP_ITEM *int_cleanup_item(ENGINE_CLEANUP_CB *cb)\n{\n    ENGINE_CLEANUP_ITEM *item = OPENSSL_malloc(sizeof(*item));\n    if (item == NULL)\n        return NULL;\n    item->cb = cb;\n    return item;\n}', 'void *CRYPTO_malloc(size_t num, const char *file, int line)\n{\n    void *ret = NULL;\n    if (num <= 0)\n        return NULL;\n    allow_customize = 0;\n#ifdef CRYPTO_MDEBUG\n    if (call_malloc_debug) {\n        CRYPTO_mem_debug_malloc(NULL, num, 0, file, line);\n        ret = malloc(num);\n        CRYPTO_mem_debug_malloc(ret, num, 1, file, line);\n    } else {\n        ret = malloc(num);\n    }\n#else\n    (void)file;\n    (void)line;\n    ret = malloc(num);\n#endif\n#ifndef OPENSSL_CPUID_OBJ\n    if (ret && (num > 2048)) {\n        extern unsigned char cleanse_ctr;\n        ((unsigned char *)ret)[0] = cleanse_ctr;\n    }\n#endif\n    return ret;\n}', 'DEFINE_STACK_OF(ENGINE_CLEANUP_ITEM)', 'int sk_insert(_STACK *st, void *data, int loc)\n{\n    char **s;\n    if (st == NULL)\n        return 0;\n    if (st->num_alloc <= st->num + 1) {\n        s = OPENSSL_realloc((char *)st->data,\n                            (unsigned int)sizeof(char *) * st->num_alloc * 2);\n        if (s == NULL)\n            return (0);\n        st->data = s;\n        st->num_alloc *= 2;\n    }\n    if ((loc >= (int)st->num) || (loc < 0))\n        st->data[st->num] = data;\n    else {\n        memmove(&(st->data[loc + 1]),\n                &(st->data[loc]), sizeof(char *) * (st->num - loc));\n        st->data[loc] = data;\n    }\n    st->num++;\n    st->sorted = 0;\n    return (st->num);\n}', 'void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)\n{\n    if (str == NULL)\n        return CRYPTO_malloc(num, file, line);\n    if (num == 0) {\n        CRYPTO_free(str);\n        return NULL;\n    }\n    allow_customize = 0;\n#ifdef CRYPTO_MDEBUG\n    if (call_malloc_debug) {\n        void *ret;\n        CRYPTO_mem_debug_realloc(str, NULL, num, 0, file, line);\n        ret = realloc(str, num);\n        CRYPTO_mem_debug_realloc(str, ret, num, 1, file, line);\n        return ret;\n    }\n#else\n    (void)file;\n    (void)line;\n#endif\n    return realloc(str, num);\n}']