From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1944) id 892F43851508; Wed, 26 Oct 2022 15:12:44 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 892F43851508 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1666797164; bh=+WQsxq/MEHJs1X95/5cQU9T1Mx/pCrjNrhFjMApEYOQ=; h=From:To:Subject:Date:From; b=t/8SGtP63qU134WnHuEnf6Y2/1CVedTD6JU7Ph46KTQ9hQrtfXmry2S8UDsNpYwhP 7gOFqbIR8NApBNFBqBbYPwbNjfd2wTEOLxA0izejsMdLEksEEkSrQ9E/KjW9tuqPAg 2Z6gtoHNDPMflrf9dNTFA9+OQ/wL6DdfaF+orS4w= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Szabolcs Nagy To: glibc-cvs@sourceware.org Subject: [glibc/arm/morello/main] cheri: headers: Define {u}intptr_t and {u}intcap_t for CHERI X-Act-Checkin: glibc X-Git-Author: Szabolcs Nagy X-Git-Refname: refs/heads/arm/morello/main X-Git-Oldrev: 65b1b450c9c956b3d9963c6fadd3e784c915ee79 X-Git-Newrev: 581cfdbbb8aa00ee95c3e6e8d7804ca6ee9edcc5 Message-Id: <20221026151244.892F43851508@sourceware.org> Date: Wed, 26 Oct 2022 15:12:44 +0000 (GMT) List-Id: https://sourceware.org/git/gitweb.cgi?p=glibc.git;h=581cfdbbb8aa00ee95c3e6e8d7804ca6ee9edcc5 commit 581cfdbbb8aa00ee95c3e6e8d7804ca6ee9edcc5 Author: Szabolcs Nagy Date: Fri Jun 11 12:52:26 2021 +0100 cheri: headers: Define {u}intptr_t and {u}intcap_t for CHERI The CHERI pure capability programming model for C requires special definition of {u}intptr_t. Only the pure capability model is supported for hosted compilation, but for freestanding compilation there is limited support for other (hybrid capability) programming models too, which require new {u}intcap_t type definitions. Diff: --- posix/bits/types.h | 4 ++++ stdlib/stdint.h | 12 ++++++++++++ 2 files changed, 16 insertions(+) diff --git a/posix/bits/types.h b/posix/bits/types.h index f912e77a02..e315dfd779 100644 --- a/posix/bits/types.h +++ b/posix/bits/types.h @@ -204,7 +204,11 @@ typedef __off64_t __loff_t; /* Type of file sizes and offsets (LFS). */ typedef char *__caddr_t; /* Duplicates info from stdint.h but this is used in unistd.h. */ +#ifdef __CHERI_PURE_CAPABILITY__ +__STD_TYPE __intcap_t __intptr_t; +#else __STD_TYPE __SWORD_TYPE __intptr_t; +#endif /* Duplicate info from sys/socket.h. */ __STD_TYPE __U32_TYPE __socklen_t; diff --git a/stdlib/stdint.h b/stdlib/stdint.h index 2d666f79fd..b80b6bbac1 100644 --- a/stdlib/stdint.h +++ b/stdlib/stdint.h @@ -84,10 +84,22 @@ typedef unsigned long long int uint_fast64_t; /* Types for `void *' pointers. */ #if __WORDSIZE == 64 # ifndef __intptr_t_defined +# ifdef __CHERI_PURE_CAPABILITY__ +typedef __intcap_t intptr_t; +# else typedef long int intptr_t; +# endif # define __intptr_t_defined # endif +# ifdef __CHERI_PURE_CAPABILITY__ +typedef __uintcap_t uintptr_t; +# else typedef unsigned long int uintptr_t; +# endif +# if defined __CHERI__ && !defined __CHERI_PURE_CAPABILITY__ +typedef __uintcap_t uintcap_t; +typedef __intcap_t intcap_t; +# endif #else # ifndef __intptr_t_defined typedef int intptr_t;