diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-12 02:11:48 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-28 00:52:07 +0100 |
commit | defd519ca2de428ffac3d51ffa69cfe777e29c10 (patch) | |
tree | a83804687ff37e5ed202198650d3cd8200d4c764 | |
parent | 2d952595f4851e91834d7d3df69eab12eb5feb3d (diff) | |
download | sparse-defd519ca2de428ffac3d51ffa69cfe777e29c10.tar.gz |
arch: (almost) all platforms simply use int for int32
The known execptions are:
* ARM with the bare-metal eabi
* MIPS64 with the n32 ABI
But these two are not really supported yet.
So, for now, int32 & uint32 can siply be set to int & uint.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | target.c | 13 |
1 files changed, 0 insertions, 13 deletions
@@ -105,19 +105,6 @@ void init_target(void) } switch (arch_mach) { - case MACH_M68K: - case MACH_SPARC32: - case MACH_PPC32: - case MACH_MIPS32: - case MACH_RISCV32: - int32_ctype = &long_ctype; - uint32_ctype = &ulong_ctype; - break; - default: - break; - } - - switch (arch_mach) { case MACH_ARM: case MACH_MIPS32: case MACH_S390: |