dereferences_param: mark more parameters as dereferenced
[smatch.git] / target-microblaze.c
blob1fbeef3c168d62eefe095a90362a72e78bb367fe
1 #include "symbol.h"
2 #include "target.h"
3 #include "machine.h"
6 static void predefine_microblaze(const struct target *self)
8 predefine("__MICROBLAZE__", 1, "1");
9 predefine("__microblaze__", 1, "1");
11 if (arch_big_endian)
12 predefine("__MICROBLAZEEB__", 1, "1");
13 else
14 predefine("__MICROBLAZEEL__", 1, "1");
17 const struct target target_microblaze = {
18 .mach = MACH_MICROBLAZE,
19 .bitness = ARCH_LP32,
20 .big_endian = true,
22 .bits_in_longdouble = 64,
24 .predefine = predefine_microblaze,