Home
last modified time | relevance | path

Searched refs:xWantedSize (Results 1 – 12 of 12) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSlookup/
HDDNSlookup_harness.c12 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument
14 if( xWantedSize == 0 ) in safeMalloc()
21 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
HDProcessReceivedUDPPacket_harness.c31 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument
33 if( xWantedSize == 0 ) in safeMalloc()
40 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/
HDDNSgetHostByName_cancel_harness.c22 void * safeMalloc( size_t xWantedSize ) /* Returns a NULL pointer if the wanted size is 0. */ in safeMalloc() argument
24 if( xWantedSize == 0 ) in safeMalloc()
31 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/
HDcbmc.h86 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
88 if( xWantedSize == 0 ) in pvPortMalloc()
93 return nondet_bool() ? malloc( xWantedSize ) : NULL; in pvPortMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
HDOutputARPRequest_harness.c26 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
28 void * ptr = malloc( xWantedSize ); in pvPortMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
HDProcessReceivedTCPPacket_harness.c19 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument
21 if( xWantedSize == 0 ) in safeMalloc()
28 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/
HDmemory_assignments.c8 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument
10 return nondet_bool() ? malloc( xWantedSize ) : NULL; in safeMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/
HDOutputARPRequest_harness.c49 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
51 void * ptr = malloc( xWantedSize ); in pvPortMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/
HDFreeRTOS_ARP_DataLenLessThanMinPacket_stubs.c119 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
121 return malloc( xWantedSize ); in pvPortMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
HDFreeRTOS_ARP_stubs.c122 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
124 return malloc( xWantedSize ); in pvPortMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/
HDFreeRTOS_DHCP_stubs.c138 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
140 return malloc( xWantedSize ); in pvPortMalloc()
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/
HDPortable.c138 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument
140 return malloc( xWantedSize ); in pvPortMalloc()