Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/jit.dg/test-error-dereference-field-of-non-pointer.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
68:561a7518be6b | 111:04ced10e8804 |
---|---|
1 #include <stdlib.h> | |
2 #include <stdio.h> | |
3 | |
4 #include "libgccjit.h" | |
5 | |
6 #include "harness.h" | |
7 | |
8 struct foo | |
9 { | |
10 int x; | |
11 int y; | |
12 }; | |
13 | |
14 void | |
15 create_code (gcc_jit_context *ctxt, void *user_data) | |
16 { | |
17 /* Let's try to inject the equivalent of: | |
18 void | |
19 test_bogus_dereference () | |
20 { | |
21 struct foo tmp; | |
22 tmp->x = tmp->y; | |
23 } | |
24 i.e. where tmp is *not* a pointer. | |
25 */ | |
26 gcc_jit_type *void_type = | |
27 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID); | |
28 gcc_jit_type *int_type = | |
29 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT); | |
30 | |
31 /* Map "struct foo". */ | |
32 gcc_jit_field *x = | |
33 gcc_jit_context_new_field (ctxt, | |
34 NULL, | |
35 int_type, | |
36 "x"); | |
37 gcc_jit_field *y = | |
38 gcc_jit_context_new_field (ctxt, | |
39 NULL, | |
40 int_type, | |
41 "y"); | |
42 gcc_jit_field *foo_fields[] = {x, y}; | |
43 gcc_jit_struct *struct_foo = | |
44 gcc_jit_context_new_struct_type (ctxt, NULL, "foo", 2, foo_fields); | |
45 | |
46 /* Build the test function. */ | |
47 gcc_jit_function *test_fn = | |
48 gcc_jit_context_new_function (ctxt, NULL, | |
49 GCC_JIT_FUNCTION_EXPORTED, | |
50 void_type, | |
51 "test_bogus_dereference", | |
52 0, NULL, | |
53 0); | |
54 gcc_jit_lvalue *tmp = | |
55 gcc_jit_function_new_local (test_fn, NULL, | |
56 gcc_jit_struct_as_type (struct_foo), | |
57 "tmp"); | |
58 | |
59 gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL); | |
60 | |
61 /* Erroneous: tmp->x = ... */ | |
62 gcc_jit_lvalue *lvalue = | |
63 gcc_jit_rvalue_dereference_field ( | |
64 gcc_jit_lvalue_as_rvalue (tmp), | |
65 NULL, | |
66 x); | |
67 | |
68 /* Erroneous: ... = tmp->y; */ | |
69 gcc_jit_rvalue *rvalue = | |
70 gcc_jit_lvalue_as_rvalue ( | |
71 gcc_jit_rvalue_dereference_field ( | |
72 gcc_jit_lvalue_as_rvalue (tmp), | |
73 NULL, | |
74 y)); | |
75 | |
76 gcc_jit_block_add_assignment ( | |
77 block, | |
78 NULL, | |
79 lvalue, rvalue); | |
80 | |
81 gcc_jit_block_end_with_void_return (block, NULL); | |
82 } | |
83 | |
84 void | |
85 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result) | |
86 { | |
87 CHECK_VALUE (result, NULL); | |
88 | |
89 /* Verify that the correct error message was emitted. */ | |
90 CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt), | |
91 ("gcc_jit_rvalue_dereference_field:" | |
92 " dereference of non-pointer tmp (type: struct foo)" | |
93 " when accessing ->x")); | |
94 } | |
95 |