Fix formatting

tony-josi-aws · Jun 14, 2024 · da61279 · da61279
1 parent 36bcde0
commit da61279
Show file tree

Hide file tree

Showing 5 changed files with 28 additions and 28 deletions.
diff --git a/source/FreeRTOS_DNS.c b/source/FreeRTOS_DNS.c
@@ -607,7 +607,7 @@
          * as gethostbyname() may be called from different threads */
         BaseType_t xHasRandom = pdFALSE;
         TickType_t uxIdentifier = 0U;
-        
+
         #if ( ipconfigDNS_USE_CALLBACKS == 1 )
             BaseType_t xReturnSetCallback = pdPASS;
         #endif
@@ -695,11 +695,11 @@
                         {
                             uxReadTimeOut_ticks = 0U;
                             xReturnSetCallback = xDNSSetCallBack( pcHostName,
-                                             pvSearchID,
-                                             pCallbackFunction,
-                                             uxTimeout,
-                                             ( TickType_t ) uxIdentifier,
-                                             ( xFamily == FREERTOS_AF_INET6 ) ? pdTRUE : pdFALSE );
+                                                                  pvSearchID,
+                                                                  pCallbackFunction,
+                                                                  uxTimeout,
+                                                                  ( TickType_t ) uxIdentifier,
+                                                                  ( xFamily == FREERTOS_AF_INET6 ) ? pdTRUE : pdFALSE );
                         }
                     }
                     else     /* When ipconfigDNS_USE_CALLBACKS enabled, ppxAddressInfo is always non null. */
@@ -712,12 +712,12 @@
             #endif /* if ( ipconfigDNS_USE_CALLBACKS == 1 ) */
 
             if( ( ulIPAddress == 0U ) &&
-            
-            #if ( ipconfigDNS_USE_CALLBACKS == 1 )
-                ( xReturnSetCallback == pdPASS ) &&
-            #endif
-            
-            ( xHasRandom != pdFALSE ) )
+
+                #if ( ipconfigDNS_USE_CALLBACKS == 1 )
+                    ( xReturnSetCallback == pdPASS ) &&
+                #endif
+
+                ( xHasRandom != pdFALSE ) )
             {
                 ulIPAddress = prvGetHostByName( pcHostName,
                                                 uxIdentifier,

diff --git a/source/FreeRTOS_DNS_Callback.c b/source/FreeRTOS_DNS_Callback.c
@@ -130,11 +130,11 @@
  * @param[in] xIsIPv6 pdTRUE if the address type should be IPv6.
  */
     BaseType_t xDNSSetCallBack( const char * pcHostName,
-                          void * pvSearchID,
-                          FOnDNSEvent pCallbackFunction,
-                          TickType_t uxTimeout,
-                          TickType_t uxIdentifier,
-                          BaseType_t xIsIPv6 )
+                                void * pvSearchID,
+                                FOnDNSEvent pCallbackFunction,
+                                TickType_t uxTimeout,
+                                TickType_t uxIdentifier,
+                                BaseType_t xIsIPv6 )
     {
         BaseType_t xReturn = pdPASS;
         size_t lLength = strlen( pcHostName );
@@ -176,6 +176,7 @@
             FreeRTOS_debug_printf( ( " xDNSSetCallBack : Could not allocate memory: %u bytes",
                                      ( unsigned ) ( sizeof( *pxCallback ) + lLength ) ) );
         }
+
         return xReturn;
     }
 /*-----------------------------------------------------------*/

diff --git a/source/include/FreeRTOS_DNS_Callback.h b/source/include/FreeRTOS_DNS_Callback.h
@@ -54,11 +54,11 @@
                                struct freertos_addrinfo * pxAddress );
 
     BaseType_t xDNSSetCallBack( const char * pcHostName,
-                          void * pvSearchID,
-                          FOnDNSEvent pCallbackFunction,
-                          TickType_t uxTimeout,
-                          TickType_t uxIdentifier,
-                          BaseType_t xIsIPv6 );
+                                void * pvSearchID,
+                                FOnDNSEvent pCallbackFunction,
+                                TickType_t uxTimeout,
+                                TickType_t uxIdentifier,
+                                BaseType_t xIsIPv6 );
 
     void vDNSCheckCallBack( void * pvSearchID );
 

diff --git a/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/DNSgetHostByName_cancel_harness.c b/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/DNSgetHostByName_cancel_harness.c
@@ -14,11 +14,11 @@
 void vDNSInitialise( void );
 
 BaseType_t xDNSSetCallBack( const char * pcHostName,
-                      void * pvSearchID,
-                      FOnDNSEvent pCallbackFunction,
-                      TickType_t xTimeout,
-                      TickType_t xIdentifier,
-                      BaseType_t xIsIPv6 );
+                            void * pvSearchID,
+                            FOnDNSEvent pCallbackFunction,
+                            TickType_t xTimeout,
+                            TickType_t xIdentifier,
+                            BaseType_t xIsIPv6 );
 
 void * safeMalloc( size_t xWantedSize ) /* Returns a NULL pointer if the wanted size is 0. */
 {

diff --git a/test/unit-test/FreeRTOS_DNS_Callback/FreeRTOS_DNS_Callback_utest.c b/test/unit-test/FreeRTOS_DNS_Callback/FreeRTOS_DNS_Callback_utest.c
@@ -274,7 +274,6 @@ void test_xDNSSetCallBack_malloc_failed( void )
     /* API Call */
     xReturn = xDNSSetCallBack( "hostname", pvSearchID, dns_callback, 56, 123, pdFALSE );
     TEST_ASSERT_EQUAL( pdFAIL, xReturn );
-
 }