Uncrustify: triggered by comment. Push.

cryi · Jan 19, 2024 · 183e2a4 · 183e2a4
1 parent a4489b8
commit 183e2a4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/source/core_http_client.c b/source/core_http_client.c
@@ -2103,7 +2103,7 @@ HTTPStatus_t HTTPClient_ReceiveAndParseHttpResponse( const TransportInterface_t
     {
         returnStatus = HTTPSuccess;
         /* There may be dangling data if we parse with do not parse body flag. To let libraries built on top of corehttp we expose it through body.  */
-        pResponse->bodyLen = totalReceived - ( size_t )( ( ( uintptr_t ) pResponse->pBody ) - ( ( uintptr_t ) pResponse->pBuffer ) );
+        pResponse->bodyLen = totalReceived - ( size_t ) ( ( ( uintptr_t ) pResponse->pBody ) - ( ( uintptr_t ) pResponse->pBuffer ) );
     }
 
     if( returnStatus == HTTPSuccess )

diff --git a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c
@@ -95,6 +95,7 @@ llhttp_errno_t llhttp_execute( llhttp_t * parser,
         __CPROVER_assume( bodyOffset < pParsingContext->pResponse->bufferLen );
         __CPROVER_assume( bodyOffset < len );
     }
+
     pParsingContext->pResponse->pBody = pParsingContext->pBufferCur + bodyOffset;
 
     return parser->error;