commit dba460f2f358b9fb0b00157e20ecd9958106870f
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> Wed Jun 24 22:59:30 2015 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> Thu Jun 25 10:59:57 2015 +0200
tree 101465c514b01effd8b3780f06ff890c02705023
parent 1cf7b30dc80d351f7143debc8b50abc9f8a4eae9

Add SSL "assertion" to help static analysis

library/ssl_srv.c

diff --git a/library/ssl_srv.c b/library/ssl_srv.c
index c7fb0ab..96c73d2 100644
--- a/library/ssl_srv.c
+++ b/library/ssl_srv.c
@@ -3580,7 +3580,7 @@
 {
     int ret = 0;
 
-    if( ssl->state == MBEDTLS_SSL_HANDSHAKE_OVER )
+    if( ssl->state == MBEDTLS_SSL_HANDSHAKE_OVER || ssl->handshake == NULL )
         return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
 
     MBEDTLS_SSL_DEBUG_MSG( 2, ( "server state: %d", ssl->state ) );
@@ -3590,7 +3590,6 @@
 
 #if defined(MBEDTLS_SSL_PROTO_DTLS)
     if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM &&
-        ssl->handshake != NULL &&
         ssl->handshake->retransmit_state == MBEDTLS_SSL_RETRANS_SENDING )
     {
         if( ( ret = mbedtls_ssl_resend( ssl ) ) != 0 )