Skip to content

Commit 43f68ef

Browse files
HTRamseytony-josi-awsamazonKamathActoryOu
authored
Remove ipconfigHAS_ROUTING_STATISTICS (#1143)
* remove ipconfigHAS_ROUTING_STATISTICS * Fix ARP CBMC failing --------- Co-authored-by: Tony Josi <[email protected]> Co-authored-by: Nikhil Kamath <[email protected]> Co-authored-by: ActoryOu <[email protected]>
1 parent d4a1b9b commit 43f68ef

File tree

22 files changed

+71
-192
lines changed

22 files changed

+71
-192
lines changed

‎source/FreeRTOS_ARP.c‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -244,7 +244,7 @@ _static ARPCacheRow_t xARPCache[ ipconfigARP_CACHE_ENTRIES ];
244244
/* Process received ARP frame to see if there is a clash. */
245245
#if ( ipconfigARP_USE_CLASH_DETECTION != 0 )
246246
{
247-
NetworkEndPoint_t * pxSourceEndPoint = FreeRTOS_FindEndPointOnIP_IPv4( ulSenderProtocolAddress, 2 );
247+
NetworkEndPoint_t * pxSourceEndPoint = FreeRTOS_FindEndPointOnIP_IPv4( ulSenderProtocolAddress );
248248

249249
if( ( pxSourceEndPoint != NULL ) && ( pxSourceEndPoint->ipv4_settings.ulIPAddress == ulSenderProtocolAddress ) )
250250
{
@@ -699,7 +699,7 @@ void vARPRefreshCacheEntry( const MACAddress_t * pxMACAddress,
699699
{
700700
#if ( ipconfigARP_STORES_REMOTE_ADDRESSES == 0 )
701701
/* Only process the IP address if it is on the local network. */
702-
BaseType_t xAddressIsLocal = ( FreeRTOS_FindEndPointOnNetMask( ulIPAddress, 2 ) != NULL ) ? 1 : 0; /* ARP remote address. */
702+
BaseType_t xAddressIsLocal = ( FreeRTOS_FindEndPointOnNetMask( ulIPAddress ) != NULL ) ? 1 : 0; /* ARP remote address. */
703703

704704
/* Only process the IP address if it matches with one of the end-points. */
705705
if( xAddressIsLocal != 0 )
@@ -789,7 +789,7 @@ static BaseType_t prvFindCacheEntry( const MACAddress_t * pxMACAddress,
789789
BaseType_t xReturn = pdFALSE;
790790

791791
#if ( ipconfigARP_STORES_REMOTE_ADDRESSES != 0 )
792-
BaseType_t xAddressIsLocal = ( FreeRTOS_FindEndPointOnNetMask( ulIPAddress, 2 ) != NULL ) ? 1 : 0; /* ARP remote address. */
792+
BaseType_t xAddressIsLocal = ( FreeRTOS_FindEndPointOnNetMask( ulIPAddress ) != NULL ) ? 1 : 0; /* ARP remote address. */
793793
#endif
794794

795795
/* Start with the maximum possible number. */
@@ -855,7 +855,7 @@ static BaseType_t prvFindCacheEntry( const MACAddress_t * pxMACAddress,
855855
/* If ARP stores the MAC address of IP addresses outside the
856856
* network, than the MAC address of the gateway should not be
857857
* overwritten. */
858-
BaseType_t xOtherIsLocal = ( FreeRTOS_FindEndPointOnNetMask( xARPCache[ x ].ulIPAddress, 3 ) != NULL ) ? 1 : 0; /* ARP remote address. */
858+
BaseType_t xOtherIsLocal = ( FreeRTOS_FindEndPointOnNetMask( xARPCache[ x ].ulIPAddress ) != NULL ) ? 1 : 0; /* ARP remote address. */
859859

860860
if( xAddressIsLocal == xOtherIsLocal )
861861
{
@@ -972,7 +972,7 @@ static BaseType_t prvFindCacheEntry( const MACAddress_t * pxMACAddress,
972972

973973
*( ppxEndPoint ) = NULL;
974974
ulAddressToLookup = *pulIPAddress;
975-
pxEndPoint = FreeRTOS_FindEndPointOnIP_IPv4( ulAddressToLookup, 0 );
975+
pxEndPoint = FreeRTOS_FindEndPointOnIP_IPv4( ulAddressToLookup );
976976

977977
if( xIsIPv4Multicast( ulAddressToLookup ) != 0 )
978978
{
@@ -999,7 +999,7 @@ static BaseType_t prvFindCacheEntry( const MACAddress_t * pxMACAddress,
999999
{
10001000
/* This is a broadcast so it uses the broadcast MAC address. */
10011001
( void ) memcpy( pxMACAddress->ucBytes, xBroadcastMACAddress.ucBytes, sizeof( MACAddress_t ) );
1002-
pxEndPoint = FreeRTOS_FindEndPointOnNetMask( ulAddressToLookup, 4 );
1002+
pxEndPoint = FreeRTOS_FindEndPointOnNetMask( ulAddressToLookup );
10031003

10041004
if( pxEndPoint != NULL )
10051005
{
@@ -1036,7 +1036,7 @@ static BaseType_t prvFindCacheEntry( const MACAddress_t * pxMACAddress,
10361036

10371037
/* It is assumed that devices with the same netmask are on the same
10381038
* LAN and don't need a gateway. */
1039-
pxEndPoint = FreeRTOS_FindEndPointOnNetMask( ulAddressToLookup, 4 );
1039+
pxEndPoint = FreeRTOS_FindEndPointOnNetMask( ulAddressToLookup );
10401040

10411041
if( pxEndPoint == NULL )
10421042
{
@@ -1346,7 +1346,7 @@ static BaseType_t prvFindCacheEntry( const MACAddress_t * pxMACAddress,
13461346
/* Its assumed that IPv4 endpoints belonging to different physical interface
13471347
* in the system will have a different subnet, but endpoints on same interface
13481348
* may have it. */
1349-
NetworkEndPoint_t * pxEndPoint = FreeRTOS_FindEndPointOnNetMask( ulIPAddress, 12 );
1349+
NetworkEndPoint_t * pxEndPoint = FreeRTOS_FindEndPointOnNetMask( ulIPAddress );
13501350

13511351
if( pxEndPoint != NULL )
13521352
{

‎source/FreeRTOS_IP.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2123,7 +2123,7 @@ void vReturnEthernetFrame( NetworkBufferDescriptor_t * pxNetworkBuffer,
21232123

21242124
#if ( ipconfigUSE_IPv4 != 0 )
21252125
case ipIPv4_FRAME_TYPE:
2126-
pxNetworkBuffer->pxEndPoint = FreeRTOS_FindEndPointOnNetMask( pxIPPacket->xIPHeader.ulDestinationIPAddress, 7 );
2126+
pxNetworkBuffer->pxEndPoint = FreeRTOS_FindEndPointOnNetMask( pxIPPacket->xIPHeader.ulDestinationIPAddress );
21272127
break;
21282128
#endif /* ( ipconfigUSE_IPv4 != 0 ) */
21292129

‎source/FreeRTOS_IPv4.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -318,7 +318,7 @@ enum eFrameProcessingResult prvAllowIPPacketIPv4( const struct xIP_PACKET * cons
318318
}
319319
}
320320
else if(
321-
( FreeRTOS_FindEndPointOnIP_IPv4( ulDestinationIPAddress, 4 ) == NULL ) &&
321+
( FreeRTOS_FindEndPointOnIP_IPv4( ulDestinationIPAddress ) == NULL ) &&
322322
/* Is it an IPv4 broadcast address x.x.x.255 ? */
323323
( ( FreeRTOS_ntohl( ulDestinationIPAddress ) & 0xffU ) != 0xffU ) &&
324324
( xIsIPv4Multicast( ulDestinationIPAddress ) == pdFALSE ) &&

‎source/FreeRTOS_Routing.c‎

Lines changed: 10 additions & 72 deletions
Original file line numberDiff line numberDiff line change
@@ -140,12 +140,6 @@ struct xIPv6_Couple
140140

141141
#if ( ipconfigCOMPATIBLE_WITH_SINGLE == 0 )
142142

143-
#if ( ipconfigHAS_ROUTING_STATISTICS == 1 )
144-
RoutingStats_t xRoutingStatistics;
145-
#endif
146-
147-
/*-----------------------------------------------------------*/
148-
149143
/**
150144
* @brief Add a network interface to the list of interfaces. Check if the interface was
151145
* already added in an earlier call.
@@ -379,29 +373,13 @@ struct xIPv6_Couple
379373
* @brief Find the end-point which has a given IPv4 address.
380374
*
381375
* @param[in] ulIPAddress The IP-address of interest, or 0 if any IPv4 end-point may be returned.
382-
* @param[in] ulWhere For maintaining routing statistics ulWhere acts as an index to the data structure
383-
* that keep track of the number of times 'FreeRTOS_FindEndPointOnIP_IPv4()'
384-
* has been called from a particular location. Used only if
385-
* ipconfigHAS_ROUTING_STATISTICS is enabled.
386376
*
387377
* @return The end-point found or NULL.
388378
*/
389-
NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv4( uint32_t ulIPAddress,
390-
uint32_t ulWhere )
379+
NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv4( uint32_t ulIPAddress )
391380
{
392381
NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints;
393382

394-
#if ( ipconfigHAS_ROUTING_STATISTICS == 1 )
395-
uint32_t ulLocationCount = ( uint32_t ) ( sizeof( xRoutingStatistics.ulLocationsIP ) / sizeof( xRoutingStatistics.ulLocationsIP[ 0 ] ) );
396-
397-
xRoutingStatistics.ulOnIp++;
398-
399-
if( ulWhere < ulLocationCount )
400-
{
401-
xRoutingStatistics.ulLocationsIP[ ulWhere ]++;
402-
}
403-
#endif /* ( ipconfigHAS_ROUTING_STATISTICS == 1 ) */
404-
405383
while( pxEndPoint != NULL )
406384
{
407385
#if ( ipconfigUSE_IPv4 != 0 )
@@ -456,12 +434,6 @@ struct xIPv6_Couple
456434
{
457435
NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints;
458436

459-
#if ( ipconfigHAS_ROUTING_STATISTICS == 1 )
460-
{
461-
xRoutingStatistics.ulOnMAC++;
462-
}
463-
#endif
464-
465437
/* If input MAC address is NULL, return NULL. */
466438
if( pxMACAddress == NULL )
467439
{
@@ -495,18 +467,12 @@ struct xIPv6_Couple
495467
* @brief Find an end-point that handles a given IPv4-address.
496468
*
497469
* @param[in] ulIPAddress The IP-address for which an end-point is looked-up.
498-
* @param[in] ulWhere For maintaining routing statistics ulWhere acts as an index to the data structure
499-
* that keep track of the number of times 'FreeRTOS_InterfaceEndPointOnNetMask()'
500-
* has been called from a particular location. Used only if
501-
* ipconfigHAS_ROUTING_STATISTICS is enabled.
502470
*
503471
* @return An end-point that has the same network mask as the given IP-address.
504472
*/
505-
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress,
506-
uint32_t ulWhere )
473+
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress )
507474
{
508-
/* The 'ulWhere' parameter is only for debugging purposes. */
509-
return FreeRTOS_InterfaceEndPointOnNetMask( NULL, ulIPAddress, ulWhere );
475+
return FreeRTOS_InterfaceEndPointOnNetMask( NULL, ulIPAddress );
510476
}
511477
/*-----------------------------------------------------------*/
512478

@@ -517,30 +483,13 @@ struct xIPv6_Couple
517483
* pxInterface is NULL.
518484
* @param[in] ulIPAddress The IP-address for which an end-point is looked-up.
519485
*
520-
* @param[in] ulWhere For maintaining routing statistics ulWhere acts as an index to the data structure
521-
* that keep track of the number of times 'FreeRTOS_InterfaceEndPointOnNetMask()'
522-
* has been called from a particular location. Used only if
523-
* ipconfigHAS_ROUTING_STATISTICS is enabled.
524-
*
525486
* @return An end-point that has the same network mask as the given IP-address.
526487
*/
527488
NetworkEndPoint_t * FreeRTOS_InterfaceEndPointOnNetMask( const NetworkInterface_t * pxInterface,
528-
uint32_t ulIPAddress,
529-
uint32_t ulWhere )
489+
uint32_t ulIPAddress )
530490
{
531491
NetworkEndPoint_t * pxEndPoint = pxNetworkEndPoints;
532492

533-
#if ( ipconfigHAS_ROUTING_STATISTICS == 1 )
534-
uint32_t ulLocationCount = ( uint32_t ) ( sizeof( xRoutingStatistics.ulLocations ) / sizeof( xRoutingStatistics.ulLocations[ 0 ] ) );
535-
536-
xRoutingStatistics.ulOnNetMask++;
537-
538-
if( ulWhere < ulLocationCount )
539-
{
540-
xRoutingStatistics.ulLocations[ ulWhere ]++;
541-
}
542-
#endif /* ( ipconfigHAS_ROUTING_STATISTICS == 1 ) */
543-
544493
/* Find the best fitting end-point to reach a given IP-address. */
545494

546495
/*_RB_ Presumably then a broadcast reply could go out on a different end point to that on
@@ -572,8 +521,8 @@ struct xIPv6_Couple
572521
/* This was only for debugging. */
573522
if( pxEndPoint == NULL )
574523
{
575-
FreeRTOS_debug_printf( ( "FreeRTOS_FindEndPointOnNetMask[%d]: No match for %xip\n",
576-
( unsigned ) ulWhere, ( unsigned ) FreeRTOS_ntohl( ulIPAddress ) ) );
524+
FreeRTOS_debug_printf( ( "FreeRTOS_FindEndPointOnNetMask: No match for %xip\n",
525+
( unsigned ) FreeRTOS_ntohl( ulIPAddress ) ) );
577526
}
578527

579528
return pxEndPoint;
@@ -930,12 +879,6 @@ struct xIPv6_Couple
930879
* defined end-point has the best match.
931880
*/
932881

933-
#if ( ipconfigHAS_ROUTING_STATISTICS == 1 )
934-
{
935-
/* Some stats while developing. */
936-
xRoutingStatistics.ulMatching++;
937-
}
938-
#endif
939882
{
940883
uint16_t usFrameType = pxPacket->xUDPPacket.xEthernetHeader.usFrameType;
941884
IP_Address_t xIPAddressFrom;
@@ -1216,13 +1159,11 @@ struct xIPv6_Couple
12161159
*
12171160
* @return The end-point found or NULL.
12181161
*/
1219-
NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv4( uint32_t ulIPAddress,
1220-
uint32_t ulWhere )
1162+
NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv4( uint32_t ulIPAddress )
12211163
{
12221164
NetworkEndPoint_t * pxResult = NULL;
12231165

12241166
( void ) ulIPAddress;
1225-
( void ) ulWhere;
12261167

12271168
if( ( ulIPAddress == 0U ) || ( pxNetworkEndPoints->ipv4_settings.ulIPAddress == ulIPAddress ) )
12281169
{
@@ -1265,10 +1206,9 @@ struct xIPv6_Couple
12651206
*
12661207
* @return An end-point that has the same network mask as the given IP-address.
12671208
*/
1268-
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress,
1269-
uint32_t ulWhere )
1209+
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress )
12701210
{
1271-
return FreeRTOS_InterfaceEndPointOnNetMask( NULL, ulIPAddress, ulWhere );
1211+
return FreeRTOS_InterfaceEndPointOnNetMask( NULL, ulIPAddress );
12721212
}
12731213
/*-----------------------------------------------------------*/
12741214

@@ -1337,13 +1277,11 @@ struct xIPv6_Couple
13371277
* @return An end-point that has the same network mask as the given IP-address.
13381278
*/
13391279
NetworkEndPoint_t * FreeRTOS_InterfaceEndPointOnNetMask( const NetworkInterface_t * pxInterface,
1340-
uint32_t ulIPAddress,
1341-
uint32_t ulWhere )
1280+
uint32_t ulIPAddress )
13421281
{
13431282
NetworkEndPoint_t * pxResult = NULL;
13441283

13451284
( void ) pxInterface;
1346-
( void ) ulWhere;
13471285

13481286
if( ( ( ulIPAddress ^ pxNetworkEndPoints->ipv4_settings.ulIPAddress ) & pxNetworkEndPoints->ipv4_settings.ulNetMask ) == 0U )
13491287
{

‎source/FreeRTOS_Sockets.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1821,7 +1821,7 @@ static BaseType_t prvSocketBindAdd( FreeRTOS_Socket_t * pxSocket,
18211821
#if ( ipconfigUSE_IPv4 != 0 )
18221822
if( pxAddress->sin_address.ulIP_IPv4 != FREERTOS_INADDR_ANY )
18231823
{
1824-
pxSocket->pxEndPoint = FreeRTOS_FindEndPointOnIP_IPv4( pxAddress->sin_address.ulIP_IPv4, 7 );
1824+
pxSocket->pxEndPoint = FreeRTOS_FindEndPointOnIP_IPv4( pxAddress->sin_address.ulIP_IPv4 );
18251825
}
18261826
else
18271827
#endif /* ( ipconfigUSE_IPv4 != 0 ) */

‎source/FreeRTOS_TCP_Transmission.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -759,7 +759,7 @@
759759
/* More details at: https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md#rule-113 */
760760
/* coverity[misra_c_2012_rule_11_3_violation] */
761761
pxIPHeader = ( ( IPHeader_t * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER ] ) );
762-
pxNetworkBuffer->pxEndPoint = FreeRTOS_FindEndPointOnNetMask( pxIPHeader->ulDestinationIPAddress, 8 );
762+
pxNetworkBuffer->pxEndPoint = FreeRTOS_FindEndPointOnNetMask( pxIPHeader->ulDestinationIPAddress );
763763

764764
if( pxNetworkBuffer->pxEndPoint == NULL )
765765
{

‎source/FreeRTOS_UDP_IPv4.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -274,7 +274,7 @@ void vProcessGeneratedUDPPacket_IPv4( NetworkBufferDescriptor_t * const pxNetwor
274274
/* 'ulIPAddress' might have become the address of the Gateway.
275275
* Find the route again. */
276276

277-
pxNetworkBuffer->pxEndPoint = FreeRTOS_FindEndPointOnNetMask( pxNetworkBuffer->xIPAddress.ulIP_IPv4, 11 );
277+
pxNetworkBuffer->pxEndPoint = FreeRTOS_FindEndPointOnNetMask( pxNetworkBuffer->xIPAddress.ulIP_IPv4 );
278278

279279
if( pxNetworkBuffer->pxEndPoint == NULL )
280280
{

‎source/include/FreeRTOSIPConfigDefaults.h‎

Lines changed: 0 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -3056,22 +3056,6 @@ STATIC_ASSERT( ipconfigDNS_SEND_BLOCK_TIME_TICKS <= portMAX_DELAY );
30563056

30573057
/*---------------------------------------------------------------------------*/
30583058

3059-
/*
3060-
* ipconfigHAS_ROUTING_STATISTICS
3061-
*
3062-
* Type: BaseType_t ( ipconfigENABLE | ipconfigDISABLE )
3063-
*/
3064-
3065-
#ifndef ipconfigHAS_ROUTING_STATISTICS
3066-
#define ipconfigHAS_ROUTING_STATISTICS ipconfigENABLE
3067-
#endif
3068-
3069-
#if ( ( ipconfigHAS_ROUTING_STATISTICS != ipconfigDISABLE ) && ( ipconfigHAS_ROUTING_STATISTICS != ipconfigENABLE ) )
3070-
#error Invalid ipconfigHAS_ROUTING_STATISTICS configuration
3071-
#endif
3072-
3073-
/*---------------------------------------------------------------------------*/
3074-
30753059
/*===========================================================================*/
30763060
/* ROUTING CONFIG */
30773061
/*===========================================================================*/

‎source/include/FreeRTOS_Routing.h‎

Lines changed: 3 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -265,8 +265,7 @@
265265
/*
266266
* Find the end-point with given IP-address.
267267
*/
268-
NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv4( uint32_t ulIPAddress,
269-
uint32_t ulWhere );
268+
NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv4( uint32_t ulIPAddress );
270269

271270
#if ( ipconfigUSE_IPv6 != 0 )
272271
/* Find the end-point with given IP-address. */
@@ -283,18 +282,14 @@
283282
/*
284283
* Find the best fitting end-point to reach a given IP-address.
285284
* Find an end-point whose IP-address is in the same network as the IP-address provided.
286-
* 'ulWhere' is temporary and or debugging only.
287285
*/
288-
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress,
289-
uint32_t ulWhere );
286+
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress );
290287

291288
/*
292289
* Find the best fitting IPv4 end-point to reach a given IP-address on a given interface
293-
* 'ulWhere' is temporary and or debugging only.
294290
*/
295291
NetworkEndPoint_t * FreeRTOS_InterfaceEndPointOnNetMask( const NetworkInterface_t * pxInterface,
296-
uint32_t ulIPAddress,
297-
uint32_t ulWhere );
292+
uint32_t ulIPAddress );
298293

299294
/*
300295
* Finds an endpoint on the given interface which is in the same subnet as the
@@ -345,21 +340,6 @@
345340
const uint8_t ucMACAddress[ ipMAC_ADDRESS_LENGTH_BYTES ] );
346341
#endif
347342

348-
#if ( ipconfigHAS_ROUTING_STATISTICS == 1 )
349-
/** @brief Some simple network statistics. */
350-
typedef struct xRoutingStats
351-
{
352-
UBaseType_t ulOnIp; /**< The number of times 'FreeRTOS_FindEndPointOnIP_IPv4()' has been called. */
353-
UBaseType_t ulOnMAC; /**< The number of times 'FreeRTOS_FindEndPointOnMAC()' has been called. */
354-
UBaseType_t ulOnNetMask; /**< The number of times 'FreeRTOS_InterfaceEndPointOnNetMask()' has been called. */
355-
UBaseType_t ulMatching; /**< The number of times 'FreeRTOS_MatchingEndpoint()' has been called. */
356-
UBaseType_t ulLocations[ 14 ]; /**< The number of times 'FreeRTOS_InterfaceEndPointOnNetMask()' has been called from a particular location. */
357-
UBaseType_t ulLocationsIP[ 8 ]; /**< The number of times 'FreeRTOS_FindEndPointOnIP_IPv4()' has been called from a particular location. */
358-
} RoutingStats_t;
359-
360-
extern RoutingStats_t xRoutingStatistics;
361-
#endif /* ( ipconfigHAS_ROUTING_STATISTICS == 1 ) */
362-
363343
NetworkEndPoint_t * pxGetSocketEndpoint( ConstSocket_t xSocket );
364344
void vSetSocketEndpoint( Socket_t xSocket,
365345
NetworkEndPoint_t * pxEndPoint );

‎test/cbmc/proofs/ARP/ARPProcessPacket/ARPProcessPacket_harness.c‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,7 @@ NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask_IPv6( const IPv6_Address_t *
2727

2828
/* Stub FreeRTOS_FindEndPointOnNetMask_IPv6 as its not relevant to the
2929
* correctness of the proof */
30-
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress,
31-
uint32_t ulWhere )
30+
NetworkEndPoint_t * FreeRTOS_FindEndPointOnNetMask( uint32_t ulIPAddress )
3231
{
3332
/* Assume at least one end-point is available */
3433
return pxNetworkEndPoint_Temp;

0 commit comments

Comments
 (0)