21 create_code (gcc_jit_context
*ctxt
, void *user_data
)
23 /* Let's try to inject the equivalent of:
25 test_bogus_access (struct foo *f)
29 i.e. using the wrong struct.
31 gcc_jit_type
*void_type
=
32 gcc_jit_context_get_type (ctxt
, GCC_JIT_TYPE_VOID
);
33 gcc_jit_type
*int_type
=
34 gcc_jit_context_get_type (ctxt
, GCC_JIT_TYPE_INT
);
36 /* Map "struct foo". */
38 gcc_jit_context_new_field (ctxt
,
43 gcc_jit_context_new_field (ctxt
,
47 gcc_jit_field
*foo_fields
[] = {x
, y
};
48 gcc_jit_struct
*struct_foo
=
49 gcc_jit_context_new_struct_type (ctxt
, NULL
, "foo", 2, foo_fields
);
51 /* Map "struct bar". */
53 gcc_jit_context_new_field (ctxt
,
58 gcc_jit_context_new_field (ctxt
,
62 /* We don't actually need a gcc_jit_type for "struct bar" for the test. */
63 gcc_jit_field
*bar_fields
[] = {p
, q
};
64 (void)gcc_jit_context_new_struct_type (ctxt
, NULL
, "foo", 2, bar_fields
);
66 gcc_jit_type
*foo_ptr
=
67 gcc_jit_type_get_pointer (gcc_jit_struct_as_type (struct_foo
));
69 /* Build the test function. */
70 gcc_jit_param
*param_f
=
71 gcc_jit_context_new_param (ctxt
, NULL
, foo_ptr
, "f");
72 gcc_jit_function
*test_fn
=
73 gcc_jit_context_new_function (ctxt
, NULL
,
74 GCC_JIT_FUNCTION_EXPORTED
,
80 /* Erroneous: f->p = ... */
81 gcc_jit_lvalue
*lvalue
=
82 gcc_jit_rvalue_dereference_field (
83 gcc_jit_param_as_rvalue (param_f
),
87 /* Erroneous: ... = f->q; */
88 gcc_jit_rvalue
*rvalue
=
89 gcc_jit_lvalue_as_rvalue (
90 gcc_jit_rvalue_dereference_field (
91 gcc_jit_param_as_rvalue (param_f
),
95 gcc_jit_block
*block
=
96 gcc_jit_function_new_block (test_fn
, NULL
);
97 gcc_jit_block_add_assignment (
101 gcc_jit_block_end_with_void_return (block
, NULL
);
105 verify_code (gcc_jit_context
*ctxt
, gcc_jit_result
*result
)
107 CHECK_VALUE (result
, NULL
);
109 /* Verify that the correct error message was emitted. */
110 CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt
),
111 "gcc_jit_rvalue_dereference_field:"
112 " p is not a field of struct foo");