test/drbgtest.c:925: error: NULL_DEREFERENCE
  pointer `master` last assigned on line 924 could be null and is dereferenced at line 925, column 48.
Showing all 13 steps of the trace


test/drbgtest.c:922:1: start of procedure test_rand_add()
920.    * RAND_add() is enough to reseed it.
921.    */
922. > static int test_rand_add(void)
923.   {
924.       RAND_DRBG *master = RAND_DRBG_get0_master();

test/drbgtest.c:924:5: 
922.   static int test_rand_add(void)
923.   {
924. >     RAND_DRBG *master = RAND_DRBG_get0_master();
925.       RAND_DRBG_get_entropy_fn old_get_entropy = master->get_entropy;
926.       RAND_DRBG_cleanup_entropy_fn old_cleanup_entropy = master->cleanup_entropy;

crypto/rand/drbg_lib.c:1093:1: start of procedure RAND_DRBG_get0_master()
  1091.    *
  1092.    */
  1093. > RAND_DRBG *RAND_DRBG_get0_master(void)
  1094.   {
  1095.       if (!RUN_ONCE(&rand_drbg_init, do_rand_drbg_init))

crypto/rand/drbg_lib.c:1095:10: 
  1093.   RAND_DRBG *RAND_DRBG_get0_master(void)
  1094.   {
  1095. >     if (!RUN_ONCE(&rand_drbg_init, do_rand_drbg_init))
  1096.           return NULL;
  1097.   

crypto/threads_pthread.c:111:1: start of procedure CRYPTO_THREAD_run_once()
    109.   }
    110.   
    111. > int CRYPTO_THREAD_run_once(CRYPTO_ONCE *once, void (*init)(void))
    112.   {
    113.       if (pthread_once(once, init) != 0)

crypto/threads_pthread.c:113:9: Taking true branch
    111.   int CRYPTO_THREAD_run_once(CRYPTO_ONCE *once, void (*init)(void))
    112.   {
    113.       if (pthread_once(once, init) != 0)
                   ^
    114.           return 0;
    115.   

crypto/threads_pthread.c:114:9: 
    112.   {
    113.       if (pthread_once(once, init) != 0)
    114. >         return 0;
    115.   
    116.       return 1;

crypto/threads_pthread.c:117:1: return from a call to CRYPTO_THREAD_run_once
    115.   
    116.       return 1;
    117. > }
    118.   
    119.   int CRYPTO_THREAD_init_local(CRYPTO_THREAD_LOCAL *key, void (*cleanup)(void *))

crypto/rand/drbg_lib.c:1095:10: Condition is false
  1093.   RAND_DRBG *RAND_DRBG_get0_master(void)
  1094.   {
  1095.       if (!RUN_ONCE(&rand_drbg_init, do_rand_drbg_init))
                   ^
  1096.           return NULL;
  1097.   

crypto/rand/drbg_lib.c:1095:10: Taking true branch
  1093.   RAND_DRBG *RAND_DRBG_get0_master(void)
  1094.   {
  1095.       if (!RUN_ONCE(&rand_drbg_init, do_rand_drbg_init))
                   ^
  1096.           return NULL;
  1097.   

crypto/rand/drbg_lib.c:1096:9: 
  1094.   {
  1095.       if (!RUN_ONCE(&rand_drbg_init, do_rand_drbg_init))
  1096. >         return NULL;
  1097.   
  1098.       return master_drbg;

crypto/rand/drbg_lib.c:1099:1: return from a call to RAND_DRBG_get0_master
  1097.   
  1098.       return master_drbg;
  1099. > }
  1100.   
  1101.   /*

test/drbgtest.c:925:5: 
923.   {
924.       RAND_DRBG *master = RAND_DRBG_get0_master();
925. >     RAND_DRBG_get_entropy_fn old_get_entropy = master->get_entropy;
926.       RAND_DRBG_cleanup_entropy_fn old_cleanup_entropy = master->cleanup_entropy;
927.       int rv = 0;
