/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils/ |
D | FreeRTOS_TCP_Utils_utest.c | 100 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_prvSocketSetMSS_NULL_EP() 120 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_prvSocketSetMSS_Reduced() 142 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_prvSocketSetMSS_Normal() 163 pxSocket->bits.bIsIPv6 = 1; in test_prvSocketSetMSS_Normal_IPv6()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 240 xSocket.bits.bIsIPv6 = pdTRUE; in test_prvSocketProps_UDPv6() 262 xSocket.bits.bIsIPv6 = pdTRUE; in test_prvSocketProps_TCPv6() 285 xSocket.bits.bIsIPv6 = pdTRUE; in test_FreeRTOS_GetLocalAddress_IPv6() 307 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_FreeRTOS_GetRemoteAddress_IPv6HappyPath() 328 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_FreeRTOS_GetIPType_IPv6HappyPath() 346 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_vTCPNetStat_IPv6Socket()
|
D | FreeRTOS_Sockets_DiffConfig2_TCP_API_utest.c | 78 xServerSocket.bits.bIsIPv6 = pdTRUE; in test_FreeRTOS_accept_ReuseIPv6Socket() 100 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_FreeRTOS_GetIPType_IPv6HappyPath()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
D | ProcessReceivedTCPPacket_harness.c | 47 __CPROVER_assume( xRetSocket->bits.bIsIPv6 == pdFALSE ); in prvHandleListen_IPV4() 64 __CPROVER_assume( xRetSocket->bits.bIsIPv6 == pdFALSE ); in pxTCPSocketLookup()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/ |
D | ProcessReceivedTCPPacket_IPv6_harness.c | 48 __CPROVER_assume( xRetSocket->bits.bIsIPv6 == pdTRUE ); in prvHandleListen() 65 __CPROVER_assume( xRetSocket->bits.bIsIPv6 == pdTRUE ); in pxTCPSocketLookup()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_TCP_Utils.c | 94 switch( pxSocket->bits.bIsIPv6 ) /* LCOV_EXCL_BR_LINE */ in prvSocketSetMSS()
|
D | FreeRTOS_TCP_State_Handling_IPv4.c | 181 pxReturn->bits.bIsIPv6 = pdFALSE_UNSIGNED; in prvHandleListen_IPV4()
|
D | FreeRTOS_TCP_State_Handling_IPv6.c | 175 pxReturn->bits.bIsIPv6 = pdTRUE_UNSIGNED; in prvHandleListen_IPV6()
|
D | FreeRTOS_Sockets.c | 571 if( pxSocket->bits.bIsIPv6 != 0U ) in prvInitialiseTCPFields() 710 pxSocket->bits.bIsIPv6 = pdTRUE_UNSIGNED; in FreeRTOS_socket() 716 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in FreeRTOS_socket() 1728 pxSocket->bits.bIsIPv6 = pdTRUE_UNSIGNED; in FreeRTOS_bind() 1735 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in FreeRTOS_bind() 2180 …switch( pxSocket->bits.bIsIPv6 ) /* LCOV_EXCL_BR_LINE Exclude this line because default case is no… in prvSocketProps() 2219 …switch( pxSocket->bits.bIsIPv6 ) /* LCOV_EXCL_BR_LINE Exclude this line because default case is no… in prvSocketProps() 3478 …switch( pxSocket->bits.bIsIPv6 ) /* LCOV_EXCL_BR_LINE Exclude this line because default case is no… in FreeRTOS_GetLocalAddress() 3703 pxSocket->bits.bIsIPv6 = pdTRUE_UNSIGNED; in prvTCPConnectStart() 3713 pxSocket->bits.bIsIPv6 = pdFALSE_UNSIGNED; in prvTCPConnectStart() [all …]
|
D | FreeRTOS_IPv6_Sockets.c | 67 if( pxSocket->bits.bIsIPv6 != pdFALSE_UNSIGNED ) in pxTCPSocketLookup_IPv6()
|
D | FreeRTOS_TCP_IP.c | 501 switch( pxSocket->bits.bIsIPv6 ) /* LCOV_EXCL_BR_LINE */ in vTCPStateChange()
|
D | FreeRTOS_TCP_Transmission_IPv6.c | 425 if( pxSocket->bits.bIsIPv6 != pdFALSE_UNSIGNED ) in prvTCPPrepareConnect_IPV6()
|
D | FreeRTOS_IP.c | 341 switch( pxSocket->bits.bIsIPv6 ) /* LCOV_EXCL_BR_LINE */ in prvProcessIPEventsAndTimers() 2537 if( ( pxSocket != NULL ) && ( pxSocket->bits.bIsIPv6 != pdFALSE_UNSIGNED ) ) in uxIPHeaderSizeSocket()
|
D | FreeRTOS_TCP_State_Handling.c | 441 …( void ) FreeRTOS_inet_ntop( ( pxSocket->bits.bIsIPv6 != 0U ) ? FREERTOS_AF_INET6 : FREERTOS_AF_IN… in prvHandleSynReceived()
|
D | FreeRTOS_TCP_Transmission.c | 492 switch( pxSocket->bits.bIsIPv6 ) /* LCOV_EXCL_BR_LINE */ in prvTCPPrepareConnect()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
D | FreeRTOS_Sockets_IPv6_utest.c | 130 xSocket.bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_NullIPPointer() 149 xSocket.bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_IPv6Address() 168 xSocket.bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_NotIPv6Address_MatchingIPv4Address() 189 xSocket.bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_NotIPv6Socket_NotIPv6Address_NonMatchingIPv4Address() 211 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_IPv6Socket_NotIPv6Address() 231 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_IPv6Socket_NonNullIPv6Address_MatchingIPv6Address() 253 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_pxTCPSocketLookup_IPv6_IPv6Socket_NonNullIPv6Address_NonMatchingIPv6Address()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/ |
D | FreeRTOS_TCP_State_Handling_IPv6_utest.c | 405 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, pxReturn->bits.bIsIPv6 ); in test_prvHandleListen_IPV6_NewSocketGood() 457 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, pxReturn->bits.bIsIPv6 ); in test_prvHandleListen_IPV6_NewSocketGoodValidDataLength()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 512 pxSocket->bits.bIsIPv6 = 0; in test_prvTCPPrepareConnect_IPV6_HappyPath_IPv4() 541 pxSocket->bits.bIsIPv6 = 1; in test_prvTCPPrepareConnect_IPV6_HappyPath_IPv6()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
D | FreeRTOS_Sockets_GenericAPI_utest.c | 952 TEST_ASSERT_EQUAL( pdFALSE, xSocket.bits.bIsIPv6 ); in test_FreeRTOS_bind_IPTaskDidNotBindTheSocketIPv4Address() 987 TEST_ASSERT_EQUAL( pdTRUE, xSocket.bits.bIsIPv6 ); in test_FreeRTOS_bind_IPTaskDidNotBindTheSocketIPv6Address() 2582 xSocket.bits.bIsIPv6 = pdTRUE; in test_FreeRTOS_GetLocalAddress_IPv6() 2850 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_FreeRTOS_GetRemoteAddress_IPv6HappyPath() 3135 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_vTCPNetStat_IPv6Socket() 3483 xSocket.bits.bIsIPv6 = pdFALSE; in test_prvSocketProps_TCPv4() 3504 xSocket.bits.bIsIPv6 = pdFALSE; in test_prvSocketProps_UDPv4() 3526 xSocket.bits.bIsIPv6 = pdTRUE; in test_prvSocketProps_TCPv6() 3547 xSocket.bits.bIsIPv6 = pdTRUE; in test_prvSocketProps_UDPv6() 3566 xSocket.bits.bIsIPv6 = pdTRUE; in test_prvSocketProps_UnknownProtocol() [all …]
|
D | FreeRTOS_Sockets_TCP_API_utest.c | 322 xServerSocket.bits.bIsIPv6 = pdTRUE; in test_FreeRTOS_accept_ReuseIPv6Socket() 354 xServerSocket.bits.bIsIPv6 = pdTRUE; in test_FreeRTOS_accept_ReuseIPv6Socket_NullAddress()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOS_IP_Private.h | 683 uint32_t bIsIPv6 : 1; /**< Non-zero in case the connection is using IPv6. */ member
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig1/ |
D | FreeRTOS_IP_DiffConfig1_utest.c | 394 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eSocketBindEvent_IPv4_only_but_IPv6_bind()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
D | FreeRTOS_IP_utest.c | 716 xSocket.bits.bIsIPv6 = pdFALSE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eSocketBindEvent() 748 xSocket.bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eSocketBindEvent_IPv6() 3772 xSocket.bits.bIsIPv6 = pdFALSE; in test_uxIPHeaderSizeSocket_IPv4() 3802 xSocket.bits.bIsIPv6 = pdTRUE; in test_uxIPHeaderSizeSocket_IPv6()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
D | FreeRTOS_TCP_Transmission_utest.c | 1085 pxSocket->bits.bIsIPv6 = pdTRUE; in test_prvTCPPrepareConnect_IPv6() 1102 pxSocket->bits.bIsIPv6 = pdFALSE; in test_prvTCPPrepareConnect_Ready()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
D | FreeRTOS_TCP_State_Handling_utest.c | 427 pxSocket->bits.bIsIPv6 = pdTRUE_UNSIGNED; in test_prvHandleSynReceived_ExpSYNStateConnectSynIPv6()
|