Don't die on unknown expressions at linearization time.
[smatch.git] / target.c
blob9c2b06b82e884d35cbe45de31398259eb39d0eb4
1 #ifndef TARGET_H
2 #define TARGET_H
4 #include <stdio.h>
6 #include "symbol.h"
7 #include "target.h"
9 struct symbol *size_t_ctype = &ulong_ctype;
10 struct symbol *ssize_t_ctype = &long_ctype;
13 * For "__attribute__((aligned))"
15 int max_alignment = 16;
18 * Integer data types
20 int bits_in_char = 8;
21 int bits_in_short = 16;
22 int bits_in_int = 32;
23 int bits_in_long = 32;
24 int bits_in_longlong = 64;
26 int max_int_alignment = 4;
29 * Floating point data types
31 int bits_in_float = 32;
32 int bits_in_double = 64;
33 int bits_in_longdouble = 80;
35 int max_fp_alignment = 8;
38 * Pointer data type
40 int bits_in_pointer = 32;
41 int pointer_alignment = 4;
44 * Enum data types
46 int bits_in_enum = 32;
47 int enum_alignment = 4;
49 #endif