Searched refs:FREERTOS_INVALID_SOCKET (Results 1 – 16 of 16) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 53 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 53 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 55 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 34 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/ |
| D | vSocketWakeUpUser_harness.c | 139 __CPROVER_assume( pxSocket != FREERTOS_INVALID_SOCKET ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 42 return FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_Sockets.c | 239 if( ( pxSocket == NULL ) || ( pxSocket == FREERTOS_INVALID_SOCKET ) ) in prvValidSocket()
409 xReturn = FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
424 xReturn = FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
438 xReturn = FREERTOS_INVALID_SOCKET; in FreeRTOS_socket()
1245 if( ( pxSocket == NULL ) || ( pxSocket == FREERTOS_INVALID_SOCKET ) ) in FreeRTOS_bind()
1328 configASSERT( pxSocket != FREERTOS_INVALID_SOCKET ); in vSocketBind()
1479 if( ( xSocket == NULL ) || ( xSocket == FREERTOS_INVALID_SOCKET ) ) in FreeRTOS_closesocket()
1812 if( ( pxSocket != NULL ) && ( pxSocket != FREERTOS_INVALID_SOCKET ) ) in FreeRTOS_setsockopt()
3197 pxClientSocket = FREERTOS_INVALID_SOCKET; in FreeRTOS_accept()
3207 pxClientSocket = FREERTOS_INVALID_SOCKET; in FreeRTOS_accept()
[all …]
|
| D | FreeRTOS_DHCP.c | 622 if( xDHCPSocket != FREERTOS_INVALID_SOCKET ) in prvCreateDHCPSocket()
|
| D | FreeRTOS_TCP_State_Handling.c | 973 if( ( pxNewSocket == NULL ) || ( pxNewSocket == FREERTOS_INVALID_SOCKET ) ) in prvHandleListen()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_Sockets.h | 65 #define FREERTOS_INVALID_SOCKET ( ( Socket_t ) ~0U ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/ |
| D | MISRA.md | 86 `FREERTOS_INVALID_SOCKET` is returned (which is essentially ~0U) to
89 pointer is equal to `FREERTOS_INVALID_SOCKET`, then it is not
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 240 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure()
257 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
278 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_NoMemory()
304 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_EventGroupCreationFailed()
917 Socket_t xSocket = FREERTOS_INVALID_SOCKET; in test_FreeRTOS_bind_SocketIsInvalid()
1040 Socket_t xSocket = ( Socket_t ) ( uintptr_t ) FREERTOS_INVALID_SOCKET; in test_FreeRTOS_closesocket_InvalidSocket()
1183 …xReturn = FreeRTOS_setsockopt( FREERTOS_INVALID_SOCKET, lLevel, lOptionName, pvOptionValue, uxOpti… in test_FreeRTOS_setsockopt_InvalidSocket()
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 145 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
149 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
155 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
162 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams()
|
| D | FreeRTOS_Sockets_privates_utest.c | 166 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) FREERTOS_INVALID_SOCKET; in test_prvValidSocket_InvalidOrNULLSocket()
560 … catch_assert( vSocketBind( FREERTOS_INVALID_SOCKET, &xBindAddress, uxAddressLength, xInternal ) ); in test_vSocketBind_CatchAssert2()
3039 xReturn = xSocketValid( ( FreeRTOS_Socket_t * ) FREERTOS_INVALID_SOCKET ); in test_xSocketValid()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 473 …tAndReturn( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP, FREERTOS_INVALID_SOCKET ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
4017 FreeRTOS_socket_ExpectAnyArgsAndReturn( FREERTOS_INVALID_SOCKET ); in test_vDHCPProcess_eLeasedAddress_NetworkUp_SocketNotCreated_RNGPass_GNBfail()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| D | FreeRTOS_TCP_State_Handling_utest.c | 1638 FreeRTOS_socket_ExpectAnyArgsAndReturn( FREERTOS_INVALID_SOCKET ); in test_prvHandleListen_New_Socket_Invalid_Socket()
|
