POINTER typedef; void - void 32-, 64- ( 32- 64- ). POINTER , -, .
clause_ComputeSplitFieldAddress, , "unsigned int", "NAT *"; , , - , int NAT.
tptp_StringCopy, , strdup() - , , , .
, List_Cons(), .
, 32- 64- , , punning . , uintptr_t (, , <inttypes.h>). , <inttypes.h>, typedef. ,
PRIXPTR
uintptr_t:
printf("0x%08" PRIXPTR "\n", ptr_as_int);
; .
The compiler has the right to warn you if it wants the code not to be embedded. There is not much that you can do about this, except to request an attachment of functions that cannot be inlined.
source
share