crypto/rand/rand_lib.c:847: error: NULL_DEREFERENCE
  pointer `meth` last assigned on line 845 could be null and is dereferenced at line 847, column 9.
Showing all 6 steps of the trace


crypto/rand/rand_lib.c:843:1: start of procedure RAND_add()
841.   }
842.   
843. > void RAND_add(const void *buf, int num, double randomness)
844.   {
845.       const RAND_METHOD *meth = RAND_get_rand_method();

crypto/rand/rand_lib.c:845:5: 
843.   void RAND_add(const void *buf, int num, double randomness)
844.   {
845. >     const RAND_METHOD *meth = RAND_get_rand_method();
846.   
847.       if (meth->add != NULL)

crypto/rand/rand_lib.c:775:1: start of procedure RAND_get_rand_method()
  773.   #endif
  774.   
  775. > const RAND_METHOD *RAND_get_rand_method(void)
  776.   {
  777.   #ifdef FIPS_MODE

crypto/rand/rand_lib.c:778:5: 
  776.   {
  777.   #ifdef FIPS_MODE
  778. >     return NULL;
  779.   #else
  780.       const RAND_METHOD *tmp_meth = NULL;

crypto/rand/rand_lib.c:807:1: return from a call to RAND_get_rand_method
  805.       return tmp_meth;
  806.   #endif
  807. > }
  808.   
  809.   #if !defined(OPENSSL_NO_ENGINE) && !defined(FIPS_MODE)

crypto/rand/rand_lib.c:847:9: 
845.       const RAND_METHOD *meth = RAND_get_rand_method();
846.   
847. >     if (meth->add != NULL)
848.           meth->add(buf, num, randomness);
849.   }
