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


crypto/rand/rand_lib.c:792:1: start of procedure RAND_add()
790.   }
791.   
792. > void RAND_add(const void *buf, int num, double randomness)
793.   {
794.       const RAND_METHOD *meth = RAND_get_rand_method();

crypto/rand/rand_lib.c:794:5: 
792.   void RAND_add(const void *buf, int num, double randomness)
793.   {
794. >     const RAND_METHOD *meth = RAND_get_rand_method();
795.   
796.       if (meth->add != NULL)

crypto/rand/rand_lib.c:724:1: start of procedure RAND_get_rand_method()
  722.   #endif
  723.   
  724. > const RAND_METHOD *RAND_get_rand_method(void)
  725.   {
  726.   #ifdef FIPS_MODE

crypto/rand/rand_lib.c:727:5: 
  725.   {
  726.   #ifdef FIPS_MODE
  727. >     return NULL;
  728.   #else
  729.       const RAND_METHOD *tmp_meth = NULL;

crypto/rand/rand_lib.c:756:1: return from a call to RAND_get_rand_method
  754.       return tmp_meth;
  755.   #endif
  756. > }
  757.   
  758.   #if !defined(OPENSSL_NO_ENGINE) && !defined(FIPS_MODE)

crypto/rand/rand_lib.c:796:9: 
794.       const RAND_METHOD *meth = RAND_get_rand_method();
795.   
796. >     if (meth->add != NULL)
797.           meth->add(buf, num, randomness);
798.   }
