Home
last modified time | relevance | path

Searched refs:bPassAccept (Results 1 – 10 of 10) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c82 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassAccept == pdFALSE_UNSIGNED ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c81 xRetSocket->u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c394 pxSocket->u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in vTCPStateChange()
454 ( pxSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSIGNED ) ) in vTCPStateChange()
900 …otocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) && ( pxFound->u.xTCP.bits.bPassAccept != pdFALSE_UNSI… in xTCPCheckNewClient()
DFreeRTOS_Sockets.c1680 ( pxOtherSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSIGNED ) ) ) in prvTCPSetSocketCount()
3231 if( pxClientSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSIGNED ) in FreeRTOS_accept()
3233 pxClientSocket->u.xTCP.bits.bPassAccept = pdFALSE; in FreeRTOS_accept()
4953 if( pxSocket->u.xTCP.bits.bPassAccept == pdFALSE_UNSIGNED ) in vSocketSelect()
4964 …pxPeerSocket != NULL ) && ( pxSocket->u.xTCP.pxPeerSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSI… in vSocketSelect()
4969 …TCP.bits.bReuseSocket != pdFALSE_UNSIGNED ) && ( pxSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSI… in vSocketSelect()
DFreeRTOS_TCP_State_Handling.c1103 pxNewSocket->u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in prvTCPSocketCopy()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c822 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_CallingFromIPTask1()
852 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_NotCallingFromIPTask1()
872 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_ReuseSocket()
905 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_EstablishedState_ReuseSocket()
1212 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xSocket.u.xTCP.bits.bPassAccept ); in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet_ParentNonNULL()
1262 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xSocket.u.xTCP.bits.bPassAccept ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler()
1314 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xSocket.u.xTCP.bits.bPassAccept ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler1()
1362 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xSocket.u.xTCP.bits.bPassAccept ); in test_vTCPStateChange_ClosedToEstablishedState_SelectRead_QueuedBitSet_ParentNULLReuse()
1991 pxSocket->u.xTCP.bits.bPassAccept = pdTRUE; in test_xTCPCheckNewClient_Not_Found_Not_TCP()
2015 pxSocket->u.xTCP.bits.bPassAccept = pdFALSE; in test_xTCPCheckNewClient_Not_Found_Not_Aceept()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c236 xPeerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_NotReuseSocket()
248 TEST_ASSERT_EQUAL( pdFALSE, xPeerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_NotReuseSocket()
272 xServerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket()
281 TEST_ASSERT_EQUAL( pdFALSE, xServerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_ReuseSocket()
305 xServerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
314 TEST_ASSERT_EQUAL( pdFALSE, xServerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
336 xServerSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_Timeout()
357 TEST_ASSERT_EQUAL( pdFALSE, xServerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_ReuseSocket_Timeout()
DFreeRTOS_Sockets_privates_utest.c1100 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren3()
1130 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren4()
1160 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
1201 xChildSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath2()
1242 xChildSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath3()
DFreeRTOS_Sockets_GenericAPI_utest.c3071 xSocket[ 3 ].u.xTCP.bits.bPassAccept = pdTRUE; in test_vSocketSelect_TCPSocketsOnly()
3080 xSocket[ 4 ].u.xTCP.bits.bPassAccept = pdTRUE; in test_vSocketSelect_TCPSocketsOnly()
3083 xSocket[ 4 ].u.xTCP.pxPeerSocket->u.xTCP.bits.bPassAccept = pdTRUE; in test_vSocketSelect_TCPSocketsOnly()
3123 xSocket[ 8 ].u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h547 … bPassAccept : 1, /**< when true, this socket may be returned in a call to accept() */ member