[PATCH] Add a new opcode: OP_COPY.
[smatch.git] / target.c
blob22e948e26dcad3e971faa9e961a78ae8eaf3d49b
1 #include <stdio.h>
3 #include "symbol.h"
4 #include "target.h"
6 struct symbol *size_t_ctype = &ulong_ctype;
7 struct symbol *ssize_t_ctype = &long_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;