arm_cmse.h (cmse_nsfptr_create, [...]): Remove #include <stdint.h>.
authorJerome Lambourg <lambourg@adacore.com>
Thu, 17 May 2018 16:36:36 +0000 (16:36 +0000)
committerOlivier Hainque <hainque@gcc.gnu.org>
Thu, 17 May 2018 16:36:36 +0000 (16:36 +0000)
commitfcf4f8311e25eb0fde59e6f6a61b570c4c1068e3
treeafcd5286a3dd380e8c530a839a72004cbf84d59b
parentca7584f79af7aa544f72a0d599020d72e06639e6
arm_cmse.h (cmse_nsfptr_create, [...]): Remove #include <stdint.h>.

2018-05-17  Jerome Lambourg  <lambourg@adacore.com>

gcc/
* config/arm/arm_cmse.h (cmse_nsfptr_create, cmse_is_nsfptr): Remove
#include <stdint.h>.  Replace intptr_t with __INTPTR_TYPE__.

libgcc/
* config/arm/cmse.c (cmse_check_address_range): Replace
UINTPTR_MAX with __UINTPTR_MAX__ and uintptr_t with __UINTPTR_TYPE__.

From-SVN: r260330
gcc/ChangeLog
gcc/config/arm/arm_cmse.h
libgcc/ChangeLog
libgcc/config/arm/cmse.c