allocate.h: Stop needlessly returning a void value in __DO_ALLOCATOR
[smatch.git] / target.c
blobbf1bb8fffa04aa2177b6d0dfca75f6aa63a23a88
1 #include <stdio.h>
3 #include "symbol.h"
4 #include "target.h"
6 struct symbol *size_t_ctype = &uint_ctype;
7 struct symbol *ssize_t_ctype = &int_ctype;
9 /*
10 * For "__attribute__((aligned))"
12 int max_alignment = 16;
15 * Integer data types
17 int bits_in_bool = 1;
18 int bits_in_char = 8;
19 int bits_in_short = 16;
20 int bits_in_int = 32;
21 int bits_in_long = 32;
22 int bits_in_longlong = 64;
24 int max_int_alignment = 4;
27 * Floating point data types
29 int bits_in_float = 32;
30 int bits_in_double = 64;
31 int bits_in_longdouble = 80;
33 int max_fp_alignment = 8;
36 * Pointer data type
38 int bits_in_pointer = 32;
39 int pointer_alignment = 4;
42 * Enum data types
44 int bits_in_enum = 32;
45 int enum_alignment = 4;