commit cee0890b19a4c3c0b9dec5ac0f8d10168b64cccb
author mohammad1603 <mohammad.abomokh@arm.com> Thu Mar 22 02:40:43 2018 -0700
committer mohammad1603 <mohammad.abomokh@arm.com> Thu Mar 22 15:01:02 2018 -0700
tree c41440286a76417f290b35c18f2cb9d83e90eecd
parent 89c12ecfb596a3ce050dba61b5c7c5c508a27d8f

Verify that f_send and f_recv send and receive the expected length

Verify that f_send and f_recv send and receive the expected length

Conflicts:
	ChangeLog

library/ssl_tls.c

diff --git a/library/ssl_tls.c b/library/ssl_tls.c
index 3f1c406..6ea7094 100644
--- a/library/ssl_tls.c
+++ b/library/ssl_tls.c
@@ -2402,11 +2402,11 @@
             if( ret < 0 )
                 return( ret );
 
-            // At this point ret value is positive, verify that adding ret 
-            // value to ssl->in_left doesn't cause a wraparound
-            if (ssl->in_left + (size_t)ret < ssl->in_left)
+            if ( (size_t)ret > len )
             {
-                MBEDTLS_SSL_DEBUG_MSG( 1, ( "wraparound happened over in_left value" ) );
+                MBEDTLS_SSL_DEBUG_MSG( 1, 
+                    ( "f_recv returned %d bytes but only %zu were requested", 
+                    ret, len ) );
                 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
             }
 
@@ -2459,7 +2459,9 @@
 
         if( (size_t)ret > ssl->out_left )
         {
-            MBEDTLS_SSL_DEBUG_MSG( 1, ( "f_send returned value greater than out left size" ) );
+            MBEDTLS_SSL_DEBUG_MSG( 1, 
+                ( "f_send returned %d bytes but only %zu bytes were sent", 
+                ret, ssl->out_left ) );
             return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
         }