double_checking: avoid more false positives
[smatch.git] / target.c
blob17b228ae924cfac4cb0cf71fdd2abf42a86af4c5
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;
23 int bits_in_longlonglong = 128;
25 int max_int_alignment = 4;
28 * Floating point data types
30 int bits_in_float = 32;
31 int bits_in_double = 64;
32 int bits_in_longdouble = 80;
34 int max_fp_alignment = 8;
37 * Pointer data type
39 int bits_in_pointer = 32;
40 int pointer_alignment = 4;
43 * Enum data types
45 int bits_in_enum = 32;
46 int enum_alignment = 4;