test/evp_test.c:1554: error: NULL_DEREFERENCE
  pointer `edata` last assigned on line 1551 could be null and is dereferenced at line 1554, column 9.
Showing all 18 steps of the trace


test/evp_test.c:1549:1: start of procedure encode_test_init()
1547.   };
1548.   
1549. > static int encode_test_init(struct evp_test *t, const char *encoding)
1550.   {
1551.       struct encode_data *edata = OPENSSL_zalloc(sizeof(*edata));

test/evp_test.c:1551:5: 
1549.   static int encode_test_init(struct evp_test *t, const char *encoding)
1550.   {
1551. >     struct encode_data *edata = OPENSSL_zalloc(sizeof(*edata));
1552.   
1553.       if (strcmp(encoding, "canonical") == 0) {

crypto/mem.c:312:1: start of procedure CRYPTO_zalloc()
  310.   }
  311.   
  312. > void *CRYPTO_zalloc(size_t num, const char *file, int line)
  313.   {
  314.       void *ret = CRYPTO_malloc(num, file, line);

crypto/mem.c:314:5: 
  312.   void *CRYPTO_zalloc(size_t num, const char *file, int line)
  313.   {
  314. >     void *ret = CRYPTO_malloc(num, file, line);
  315.   
  316.       if (ret != NULL)

crypto/mem.c:279:1: start of procedure CRYPTO_malloc()
    277.   }
    278.   
    279. > void *CRYPTO_malloc(size_t num, const char *file, int line)
    280.   {
    281.       void *ret = NULL;

crypto/mem.c:281:5: 
    279.   void *CRYPTO_malloc(size_t num, const char *file, int line)
    280.   {
    281. >     void *ret = NULL;
    282.   
    283.       if (num <= 0)

crypto/mem.c:283:9: Taking false branch
    281.       void *ret = NULL;
    282.   
    283.       if (num <= 0)
                   ^
    284.           return NULL;
    285.   

crypto/mem.c:286:9: Taking false branch
    284.           return NULL;
    285.   
    286.       if (allow_customize)
                   ^
    287.           allow_customize = 0;
    288.       if (malloc_debug_func != NULL) {

crypto/mem.c:288:9: Taking false branch
    286.       if (allow_customize)
    287.           allow_customize = 0;
    288.       if (malloc_debug_func != NULL) {
                   ^
    289.           if (allow_customize_debug)
    290.               allow_customize_debug = 0;

crypto/mem.c:293:5: Skipping __function_pointer__(): unresolved function pointer
    291.           malloc_debug_func(NULL, num, file, line, 0);
    292.       }
    293.       ret = malloc_ex_func(num, file, line);
               ^
    294.       if (malloc_debug_func != NULL)
    295.           malloc_debug_func(ret, num, file, line, 1);

crypto/mem.c:294:9: Taking false branch
    292.       }
    293.       ret = malloc_ex_func(num, file, line);
    294.       if (malloc_debug_func != NULL)
                   ^
    295.           malloc_debug_func(ret, num, file, line, 1);
    296.   

crypto/mem.c:309:5: 
    307.   #endif
    308.   
    309. >     return ret;
    310.   }
    311.   

crypto/mem.c:310:1: return from a call to CRYPTO_malloc
    308.   
    309.       return ret;
    310. > }
    311.   
    312.   void *CRYPTO_zalloc(size_t num, const char *file, int line)

crypto/mem.c:316:9: Taking false branch
  314.       void *ret = CRYPTO_malloc(num, file, line);
  315.   
  316.       if (ret != NULL)
                 ^
  317.           memset(ret, 0, num);
  318.       return ret;

crypto/mem.c:318:5: 
  316.       if (ret != NULL)
  317.           memset(ret, 0, num);
  318. >     return ret;
  319.   }
  320.   

crypto/mem.c:319:1: return from a call to CRYPTO_zalloc
  317.           memset(ret, 0, num);
  318.       return ret;
  319. > }
  320.   
  321.   void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)

test/evp_test.c:1553:9: Taking true branch
1551.       struct encode_data *edata = OPENSSL_zalloc(sizeof(*edata));
1552.   
1553.       if (strcmp(encoding, "canonical") == 0) {
                ^
1554.           edata->encoding = BASE64_CANONICAL_ENCODING;
1555.       } else if (strcmp(encoding, "valid") == 0) {

test/evp_test.c:1554:9: 
1552.   
1553.       if (strcmp(encoding, "canonical") == 0) {
1554. >         edata->encoding = BASE64_CANONICAL_ENCODING;
1555.       } else if (strcmp(encoding, "valid") == 0) {
1556.           edata->encoding = BASE64_VALID_ENCODING;
