dereferences_param: mark more parameters as dereferenced
[smatch.git] / target-arm64.c
blob8619bd842f9b63ef5d8989f25be9a0d1958cd5c0
1 #include "symbol.h"
2 #include "target.h"
3 #include "machine.h"
6 static void init_arm64(const struct target *self)
8 if (arch_cmodel == CMODEL_UNKNOWN)
9 arch_cmodel = CMODEL_SMALL;
12 static void predefine_arm64(const struct target *self)
14 static const char *cmodels[CMODEL_LAST] = {
15 [CMODEL_LARGE] = "LARGE",
16 [CMODEL_SMALL] = "SMALL",
17 [CMODEL_TINY] = "TINY",
19 const char *cmodel = cmodels[arch_cmodel];
21 predefine("__aarch64__", 1, "1");
23 if (cmodel)
24 predefine_strong("__AARCH64_CMODEL_%s__", cmodel);
27 const struct target target_arm64 = {
28 .mach = MACH_ARM64,
29 .bitness = ARCH_LP64,
31 .big_endian = 0,
32 .unsigned_char = 1,
33 .has_int128 = 1,
35 .wchar = &uint_ctype,
37 .init = init_arm64,
38 .predefine = predefine_arm64,