1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#include <stdlib.h>
#include <stdio.h>
#include "libgccjit.h"
#include "harness.h"
/* Try to dereference a bit-field. */
void
create_code (gcc_jit_context *ctxt, void *user_data)
{
/* Let's try to inject the equivalent of:
struct bit_foo
{
int i:3;
int j:3;
};
struct bit_foo f;
&(f.j)
*/
gcc_jit_type *int_type =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
gcc_jit_field *i =
gcc_jit_context_new_bitfield (ctxt,
NULL,
int_type,
3,
"i");
gcc_jit_field *j =
gcc_jit_context_new_bitfield (ctxt,
NULL,
int_type,
3,
"j");
gcc_jit_field *fields[] = {i, j};
gcc_jit_type *struct_type =
gcc_jit_struct_as_type (
gcc_jit_context_new_struct_type (ctxt, NULL, "bit_foo", 2, fields));
gcc_jit_lvalue *f_struct =
gcc_jit_context_new_global (ctxt,
NULL,
GCC_JIT_GLOBAL_INTERNAL,
struct_type,
"f");
gcc_jit_lvalue_get_address (
gcc_jit_lvalue_access_field (
f_struct,
NULL,
j),
NULL);
}
void
verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
{
CHECK_VALUE (result, NULL);
/* Verify that the correct error message was emitted. */
CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
"cannot take address of bit-field");
}
|