Remove some false positives and enable the check.
[smatch.git] / target.h
blob25f7948767ce72ead17ca1c2b16ad1f8c67a10bb
1 #ifndef TARGET_H
2 #define TARGET_H
4 extern struct symbol *size_t_ctype;
5 extern struct symbol *ssize_t_ctype;
7 /*
8 * For "__attribute__((aligned))"
9 */
10 extern int max_alignment;
13 * Integer data types
15 extern int bits_in_bool;
16 extern int bits_in_char;
17 extern int bits_in_short;
18 extern int bits_in_int;
19 extern int bits_in_long;
20 extern int bits_in_longlong;
22 extern int max_int_alignment;
25 * Floating point data types
27 extern int bits_in_float;
28 extern int bits_in_double;
29 extern int bits_in_longdouble;
31 extern int max_fp_alignment;
34 * Pointer data type
36 extern int bits_in_pointer;
37 extern int pointer_alignment;
40 * Enum data types
42 extern int bits_in_enum;
43 extern int enum_alignment;
45 #endif