crypto/err/err.c:769: error: MEMORY_LEAK
  memory dynamically allocated by call to `CRYPTO_malloc()` at line 754, column 11 is not reachable after line 769, column 17.
Showing all 37 steps of the trace


crypto/err/err.c:748:1: start of procedure ERR_add_error_vdata()
746.   }
747.   
748. > void ERR_add_error_vdata(int num, va_list args)
749.   {
750.       int i, n, s;

crypto/err/err.c:753:5: 
751.       char *str, *p, *a;
752.   
753. >     s = 80;
754.       str = OPENSSL_malloc(s + 1);
755.       if (str == NULL)

crypto/err/err.c:754:5: 
752.   
753.       s = 80;
754. >     str = OPENSSL_malloc(s + 1);
755.       if (str == NULL)
756.           return;

crypto/mem.c:169:1: start of procedure CRYPTO_malloc()
  167.   #endif
  168.   
  169. > void *CRYPTO_malloc(size_t num, const char *file, int line)
  170.   {
  171.       void *ret = NULL;

crypto/mem.c:171:5: 
  169.   void *CRYPTO_malloc(size_t num, const char *file, int line)
  170.   {
  171. >     void *ret = NULL;
  172.   
  173.       if (malloc_impl != NULL && malloc_impl != CRYPTO_malloc)

crypto/mem.c:173:9: Taking false branch
  171.       void *ret = NULL;
  172.   
  173.       if (malloc_impl != NULL && malloc_impl != CRYPTO_malloc)
                 ^
  174.           return malloc_impl(num, file, line);
  175.   

crypto/mem.c:176:9: Taking false branch
  174.           return malloc_impl(num, file, line);
  175.   
  176.       if (num == 0)
                 ^
  177.           return NULL;
  178.   

crypto/mem.c:180:5: 
  178.   
  179.       FAILTEST();
  180. >     allow_customize = 0;
  181.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG
  182.       if (call_malloc_debug) {

crypto/mem.c:190:5: 
  188.       }
  189.   #else
  190. >     osslargused(file); osslargused(line);
  191.       ret = malloc(num);
  192.   #endif

crypto/mem.c:190:24: 
  188.       }
  189.   #else
  190. >     osslargused(file); osslargused(line);
  191.       ret = malloc(num);
  192.   #endif

crypto/mem.c:191:5: 
  189.   #else
  190.       osslargused(file); osslargused(line);
  191. >     ret = malloc(num);
  192.   #endif
  193.   

crypto/mem.c:194:5: 
  192.   #endif
  193.   
  194. >     return ret;
  195.   }
  196.   

crypto/mem.c:195:1: return from a call to CRYPTO_malloc
  193.   
  194.       return ret;
  195. > }
  196.   
  197.   void *CRYPTO_zalloc(size_t num, const char *file, int line)

crypto/err/err.c:755:9: Taking false branch
753.       s = 80;
754.       str = OPENSSL_malloc(s + 1);
755.       if (str == NULL)
               ^
756.           return;
757.       str[0] = '\0';

crypto/err/err.c:757:5: 
755.       if (str == NULL)
756.           return;
757. >     str[0] = '\0';
758.   
759.       n = 0;

crypto/err/err.c:759:5: 
757.       str[0] = '\0';
758.   
759. >     n = 0;
760.       for (i = 0; i < num; i++) {
761.           a = va_arg(args, char *);

crypto/err/err.c:760:10: 
758.   
759.       n = 0;
760. >     for (i = 0; i < num; i++) {
761.           a = va_arg(args, char *);
762.           if (a == NULL)

crypto/err/err.c:760:17: Loop condition is true. Entering loop body
758.   
759.       n = 0;
760.       for (i = 0; i < num; i++) {
                       ^
761.           a = va_arg(args, char *);
762.           if (a == NULL)

crypto/err/err.c:761:9: 
759.       n = 0;
760.       for (i = 0; i < num; i++) {
761. >         a = va_arg(args, char *);
762.           if (a == NULL)
763.               a = "<NULL>";

crypto/err/err.c:762:13: Taking false branch
760.       for (i = 0; i < num; i++) {
761.           a = va_arg(args, char *);
762.           if (a == NULL)
                   ^
763.               a = "<NULL>";
764.           n += strlen(a);

crypto/err/err.c:764:9: 
762.           if (a == NULL)
763.               a = "<NULL>";
764. >         n += strlen(a);
765.           if (n > s) {
766.               s = n + 20;

crypto/err/err.c:765:13: Taking true branch
763.               a = "<NULL>";
764.           n += strlen(a);
765.           if (n > s) {
                   ^
766.               s = n + 20;
767.               p = OPENSSL_realloc(str, s + 1);

crypto/err/err.c:766:13: 
764.           n += strlen(a);
765.           if (n > s) {
766. >             s = n + 20;
767.               p = OPENSSL_realloc(str, s + 1);
768.               if (p == NULL) {

crypto/err/err.c:767:13: 
765.           if (n > s) {
766.               s = n + 20;
767. >             p = OPENSSL_realloc(str, s + 1);
768.               if (p == NULL) {
769.                   OPENSSL_free(str);

crypto/mem.c:207:1: start of procedure CRYPTO_realloc()
  205.   }
  206.   
  207. > void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)
  208.   {
  209.       if (realloc_impl != NULL && realloc_impl != &CRYPTO_realloc)

crypto/mem.c:209:9: Taking true branch
  207.   void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)
  208.   {
  209.       if (realloc_impl != NULL && realloc_impl != &CRYPTO_realloc)
                 ^
  210.           return realloc_impl(str, num, file, line);
  211.   

crypto/mem.c:209:33: Taking true branch
  207.   void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)
  208.   {
  209.       if (realloc_impl != NULL && realloc_impl != &CRYPTO_realloc)
                                         ^
  210.           return realloc_impl(str, num, file, line);
  211.   

crypto/mem.c:210:9: Skipping __function_pointer__(): unresolved function pointer
  208.   {
  209.       if (realloc_impl != NULL && realloc_impl != &CRYPTO_realloc)
  210.           return realloc_impl(str, num, file, line);
                 ^
  211.   
  212.       FAILTEST();

crypto/mem.c:235:1: return from a call to CRYPTO_realloc
  233.       return realloc(str, num);
  234.   
  235. > }
  236.   
  237.   void *CRYPTO_clear_realloc(void *str, size_t old_len, size_t num,

crypto/err/err.c:768:17: Taking true branch
766.               s = n + 20;
767.               p = OPENSSL_realloc(str, s + 1);
768.               if (p == NULL) {
                       ^
769.                   OPENSSL_free(str);
770.                   return;

crypto/err/err.c:769:17: 
767.               p = OPENSSL_realloc(str, s + 1);
768.               if (p == NULL) {
769. >                 OPENSSL_free(str);
770.                   return;
771.               }

crypto/mem.c:264:1: start of procedure CRYPTO_free()
  262.   }
  263.   
  264. > void CRYPTO_free(void *str, const char *file, int line)
  265.   {
  266.       if (free_impl != NULL && free_impl != &CRYPTO_free) {

crypto/mem.c:266:9: Taking true branch
  264.   void CRYPTO_free(void *str, const char *file, int line)
  265.   {
  266.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
                 ^
  267.           free_impl(str, file, line);
  268.           return;

crypto/mem.c:266:30: Taking true branch
  264.   void CRYPTO_free(void *str, const char *file, int line)
  265.   {
  266.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
                                      ^
  267.           free_impl(str, file, line);
  268.           return;

crypto/mem.c:267:9: Skipping __function_pointer__(): unresolved function pointer
  265.   {
  266.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
  267.           free_impl(str, file, line);
                 ^
  268.           return;
  269.       }

crypto/mem.c:268:9: 
  266.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
  267.           free_impl(str, file, line);
  268. >         return;
  269.       }
  270.   

crypto/mem.c:282:1: return from a call to CRYPTO_free
  280.       free(str);
  281.   #endif
  282. > }
  283.   
  284.   void CRYPTO_clear_free(void *str, size_t num, const char *file, int line)
