Fix formatting

tony-josi-aws · tony-josi-aws · commit 27e00ebcfca2 · 2025-06-09T19:05:42.000+05:30
diff --git a/source/portable/BufferManagement/BufferAllocation_1.c b/source/portable/BufferManagement/BufferAllocation_1.c
@@ -206,7 +206,7 @@ BaseType_t xNetworkBuffersInitialise( void )
             uxMaxNetworkInterfaceAllocatedSizeBytes = uxNetworkInterfaceAllocateRAMToBuffers( xNetworkBuffers );
 
             /* The allocated buffer should hold atleast ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER bytes */
-            configASSERT((uxMaxNetworkInterfaceAllocatedSizeBytes >= (ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER)))
+            configASSERT( ( uxMaxNetworkInterfaceAllocatedSizeBytes >= ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) ) )
 
             for( x = 0U; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ )
             {
diff --git a/source/portable/NetworkInterface/ATSAME5x/NetworkInterface.c b/source/portable/NetworkInterface/ATSAME5x/NetworkInterface.c
@@ -490,9 +490,8 @@ void xRxCallback( void )
              * future versions. */
             *( ( uint32_t * ) &ucBuffers[ x ][ 0 ] ) = ( uint32_t ) &( pxNetworkBuffers[ x ] );
         }
-        
-        return ( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );
 
+        return( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );
     }
 #endif /* if ( ipUSE_STATIC_ALLOCATION == 1 ) */
 
diff --git a/source/portable/NetworkInterface/DriverSAM/NetworkInterface.c b/source/portable/NetworkInterface/DriverSAM/NetworkInterface.c
@@ -1423,7 +1423,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
 
     cache_clean_invalidate();
 
-    return ( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );
+    return( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );
 }
 /*-----------------------------------------------------------*/
 
diff --git a/source/portable/NetworkInterface/LPC18xx/NetworkInterface.c b/source/portable/NetworkInterface/LPC18xx/NetworkInterface.c
@@ -344,7 +344,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
         ucRAMBuffer += niBUFFER_1_PACKET_SIZE;
     }
 
-    return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);
+    return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );
 }
 /*-----------------------------------------------------------*/
 
diff --git a/source/portable/NetworkInterface/M487/NetworkInterface.c b/source/portable/NetworkInterface/M487/NetworkInterface.c
@@ -192,7 +192,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
         ucRAMBuffer += niBUFFER_1_PACKET_SIZE;
     }
 
-    return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);
+    return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );
 }
 
 
diff --git a/source/portable/NetworkInterface/RX/NetworkInterface.c b/source/portable/NetworkInterface/RX/NetworkInterface.c
@@ -434,7 +434,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
         buffer_address += ETHER_CFG_BUFSIZE;
     }
 
-    return (ETHER_CFG_BUFSIZE - ipBUFFER_PADDING);
+    return( ETHER_CFG_BUFSIZE - ipBUFFER_PADDING );
 } /* End of function uxNetworkInterfaceAllocateRAMToBuffers() */
 
 /***********************************************************************************************************************
diff --git a/source/portable/NetworkInterface/TM4C/NetworkInterface.c b/source/portable/NetworkInterface/TM4C/NetworkInterface.c
@@ -415,7 +415,8 @@ void uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwork
         /* Set the 'hidden' reference to the descriptor for use in DMA interrupts */
         *( ( uint32_t * ) &_network_buffers[ i ][ 0 ] ) = ( uint32_t ) &( ( pxNetworkBuffers[ i ] ) );
     }
-    return (BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING);
+
+    return( BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING );
 }
 
 static BaseType_t _ethernet_mac_get( uint8_t * mac_address_bytes )
diff --git a/source/portable/NetworkInterface/ThirdParty/MSP432/NetworkInterface.c b/source/portable/NetworkInterface/ThirdParty/MSP432/NetworkInterface.c
@@ -1012,5 +1012,5 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
         *( ( uint32_t * ) &ucBuffers[ x ][ 0 ] ) = ( uint32_t ) &( pxNetworkBuffers[ x ] );
     }
 
-    return (BUFFER_SIZE_ALLOC1_ROUNDED_UP - ipBUFFER_PADDING);
+    return( BUFFER_SIZE_ALLOC1_ROUNDED_UP - ipBUFFER_PADDING );
 }
diff --git a/source/portable/NetworkInterface/WinPCap/NetworkInterface.c b/source/portable/NetworkInterface/WinPCap/NetworkInterface.c
@@ -979,5 +979,6 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
             pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PADDING ] );
         }
     }
-    return (BUFFER_SIZE_ROUNDED_UP - BUFFER_SIZE_ROUNDED_UP);
+
+    return( BUFFER_SIZE_ROUNDED_UP - BUFFER_SIZE_ROUNDED_UP );
 }
diff --git a/source/portable/NetworkInterface/Zynq/NetworkInterface.c b/source/portable/NetworkInterface/Zynq/NetworkInterface.c
@@ -478,7 +478,8 @@ static BaseType_t prvGMACWaitLS( BaseType_t xEMACIndex,
             *( ( unsigned * ) ucRAMBuffer ) = ( unsigned ) ( &( pxNetworkBuffers[ ul ] ) );
             ucRAMBuffer += niBUFFER_1_PACKET_SIZE;
         }
-        return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);
+
+        return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );
     }
 #else /* if ( nicUSE_UNCACHED_MEMORY == 0 ) */
     size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetworkBuffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ] )
@@ -502,7 +503,8 @@ static BaseType_t prvGMACWaitLS( BaseType_t xEMACIndex,
                 }
             }
         }
-        return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);
+
+        return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );
     }
 #endif /* ( nicUSE_UNCACHED_MEMORY == 0 ) */
 /*-----------------------------------------------------------*/
diff --git a/source/portable/NetworkInterface/libslirp/MBuffNetworkInterface.c b/source/portable/NetworkInterface/libslirp/MBuffNetworkInterface.c
@@ -366,7 +366,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
         }
     }
 
-    return (BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING);
+    return( BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING );
 }
 
 BaseType_t xGetPhyLinkStatus( NetworkInterface_t * pxNetif )
diff --git a/source/portable/NetworkInterface/linux/NetworkInterface.c b/source/portable/NetworkInterface/linux/NetworkInterface.c
@@ -1132,5 +1132,5 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
         }
     }
 
-    return (BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING);
+    return( BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING );
 }
diff --git a/source/portable/NetworkInterface/mw300_rd/NetworkInterface.c b/source/portable/NetworkInterface/mw300_rd/NetworkInterface.c
@@ -184,6 +184,7 @@ BaseType_t xNetworkInterfaceInitialise( void )
 size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetworkBuffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ] )
 {
     /* FIX ME. */
+
     /* Hard force an assert as this driver cannot be used with BufferAllocation_1.c
      * without implementing this function. */
     configASSERT( 0 );
diff --git a/source/portable/NetworkInterface/xilinx_ultrascale/NetworkInterface.c b/source/portable/NetworkInterface/xilinx_ultrascale/NetworkInterface.c
@@ -403,7 +403,7 @@ static BaseType_t prvGMACWaitLS( TickType_t xMaxTimeTicks )
             ucRAMBuffer += niBUFFER_1_PACKET_SIZE;
         }
 
-        return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);
+        return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );
     }
 #else /* if ( nicUSE_UNCACHED_MEMORY == 0 ) */
     size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetworkBuffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ] )
@@ -427,7 +427,8 @@ static BaseType_t prvGMACWaitLS( TickType_t xMaxTimeTicks )
                 }
             }
         }
-        return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);
+
+        return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );
     }
 #endif /* ( nicUSE_UNCACHED_MEMORY == 0 ) */
 /*-----------------------------------------------------------*/
diff --git a/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/OutputARPRequest_harness.c b/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/OutputARPRequest_harness.c
@@ -33,12 +33,13 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo
             xAllocSize = sizeof( ARPPacket_t ) + ( ipconfigETHERNET_MINIMUM_PACKET_BYTES - sizeof( ARPPacket_t ) );
             current->pucEthernetBuffer = malloc( xAllocSize );
         #else
-            xAllocSize = sizeof( ARPPacket_t ) 
-            current->pucEthernetBuffer = malloc( xAllocSize );
+            xAllocSize = sizeof( ARPPacket_t )
+                         current->pucEthernetBuffer = malloc( xAllocSize );
         #endif
         __CPROVER_assume( current->pucEthernetBuffer != NULL );
         current->xDataLength = sizeof( ARPPacket_t );
     }
+
     return xAllocSize;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -206,7 +206,7 @@ BaseType_t xNetworkBuffersInitialise( void )`
`206`	`206`	`uxMaxNetworkInterfaceAllocatedSizeBytes = uxNetworkInterfaceAllocateRAMToBuffers( xNetworkBuffers );`
`207`	`207`
`208`	`208`	`/* The allocated buffer should hold atleast ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER bytes */`
`209`		`- configASSERT((uxMaxNetworkInterfaceAllocatedSizeBytes >= (ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER)))`
	`209`	`+ configASSERT( ( uxMaxNetworkInterfaceAllocatedSizeBytes >= ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) ) )`
`210`	`210`
`211`	`211`	`for( x = 0U; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ )`
`212`	`212`	`{`
Original file line number	Diff line number	Diff line change
`@@ -490,9 +490,8 @@ void xRxCallback( void )`
`490`	`490`	`* future versions. */`
`491`	`491`	`( ( uint32_t ) &ucBuffers[ x ][ 0 ] ) = ( uint32_t ) &( pxNetworkBuffers[ x ] );`
`492`	`492`	`}`
`493`		`-`
`494`		`- return ( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );`
`495`	`493`
	`494`	`+ return( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );`
`496`	`495`	`}`
`497`	`496`	`#endif /* if ( ipUSE_STATIC_ALLOCATION == 1 ) */`
`498`	`497`
Original file line number	Diff line number	Diff line change
`@@ -1423,7 +1423,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo`
`1423`	`1423`
`1424`	`1424`	`cache_clean_invalidate();`
`1425`	`1425`
`1426`		`- return ( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );`
	`1426`	`+ return( NETWORK_BUFFER_SIZE - ipBUFFER_PADDING );`
`1427`	`1427`	`}`
`1428`	`1428`	`/-----------------------------------------------------------/`
`1429`	`1429`
Original file line number	Diff line number	Diff line change
`@@ -344,7 +344,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo`
`344`	`344`	`ucRAMBuffer += niBUFFER_1_PACKET_SIZE;`
`345`	`345`	`}`
`346`	`346`
`347`		`- return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);`
	`347`	`+ return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );`
`348`	`348`	`}`
`349`	`349`	`/-----------------------------------------------------------/`
`350`	`350`
Original file line number	Diff line number	Diff line change
`@@ -192,7 +192,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo`
`192`	`192`	`ucRAMBuffer += niBUFFER_1_PACKET_SIZE;`
`193`	`193`	`}`
`194`	`194`
`195`		`- return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);`
	`195`	`+ return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );`
`196`	`196`	`}`
`197`	`197`
`198`	`198`
Original file line number	Diff line number	Diff line change
`@@ -434,7 +434,7 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo`
`434`	`434`	`buffer_address += ETHER_CFG_BUFSIZE;`
`435`	`435`	`}`
`436`	`436`
`437`		`- return (ETHER_CFG_BUFSIZE - ipBUFFER_PADDING);`
	`437`	`+ return( ETHER_CFG_BUFSIZE - ipBUFFER_PADDING );`
`438`	`438`	`} /* End of function uxNetworkInterfaceAllocateRAMToBuffers() */`
`439`	`439`
`440`	`440`	`/***********************************************************************************************************************`
Original file line number	Diff line number	Diff line change
`@@ -415,7 +415,8 @@ void uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwork`
`415`	`415`	`/* Set the 'hidden' reference to the descriptor for use in DMA interrupts */`
`416`	`416`	`( ( uint32_t ) &_network_buffers[ i ][ 0 ] ) = ( uint32_t ) &( ( pxNetworkBuffers[ i ] ) );`
`417`	`417`	`}`
`418`		`- return (BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING);`
	`418`	`+`
	`419`	`+ return( BUFFER_SIZE_ROUNDED_UP - ipBUFFER_PADDING );`
`419`	`420`	`}`
`420`	`421`
`421`	`422`	`static BaseType_t _ethernet_mac_get( uint8_t * mac_address_bytes )`
Original file line number	Diff line number	Diff line change
`@@ -1012,5 +1012,5 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo`
`1012`	`1012`	`( ( uint32_t ) &ucBuffers[ x ][ 0 ] ) = ( uint32_t ) &( pxNetworkBuffers[ x ] );`
`1013`	`1013`	`}`
`1014`	`1014`
`1015`		`- return (BUFFER_SIZE_ALLOC1_ROUNDED_UP - ipBUFFER_PADDING);`
	`1015`	`+ return( BUFFER_SIZE_ALLOC1_ROUNDED_UP - ipBUFFER_PADDING );`
`1016`	`1016`	`}`
Original file line number	Diff line number	Diff line change
`@@ -979,5 +979,6 @@ size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetwo`
`979`	`979`	`pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PADDING ] );`
`980`	`980`	`}`
`981`	`981`	`}`
`982`		`- return (BUFFER_SIZE_ROUNDED_UP - BUFFER_SIZE_ROUNDED_UP);`
	`982`	`+`
	`983`	`+ return( BUFFER_SIZE_ROUNDED_UP - BUFFER_SIZE_ROUNDED_UP );`
`983`	`984`	`}`
Original file line number	Diff line number	Diff line change
`@@ -478,7 +478,8 @@ static BaseType_t prvGMACWaitLS( BaseType_t xEMACIndex,`
`478`	`478`	`( ( unsigned ) ucRAMBuffer ) = ( unsigned ) ( &( pxNetworkBuffers[ ul ] ) );`
`479`	`479`	`ucRAMBuffer += niBUFFER_1_PACKET_SIZE;`
`480`	`480`	`}`
`481`		`- return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);`
	`481`	`+`
	`482`	`+ return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );`
`482`	`483`	`}`
`483`	`484`	`#else /* if ( nicUSE_UNCACHED_MEMORY == 0 ) */`
`484`	`485`	`size_t uxNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetworkBuffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ] )`
`@@ -502,7 +503,8 @@ static BaseType_t prvGMACWaitLS( BaseType_t xEMACIndex,`
`502`	`503`	`}`
`503`	`504`	`}`
`504`	`505`	`}`
`505`		`- return (niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING);`
	`506`	`+`
	`507`	`+ return( niBUFFER_1_PACKET_SIZE - ipBUFFER_PADDING );`
`506`	`508`	`}`
`507`	`509`	`#endif /* ( nicUSE_UNCACHED_MEMORY == 0 ) */`
`508`	`510`	`/-----------------------------------------------------------/`