annotate gcc/testsuite/jit.dg/test-error-bad-cast.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 #include <stdlib.h>
kono
parents:
diff changeset
2 #include <stdio.h>
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 #include "libgccjit.h"
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 #include "harness.h"
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 void
kono
parents:
diff changeset
9 create_code (gcc_jit_context *ctxt, void *user_data)
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 /* Let's try to inject the equivalent of:
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 int
kono
parents:
diff changeset
14 test_fn ()
kono
parents:
diff changeset
15 {
kono
parents:
diff changeset
16 struct foo f;
kono
parents:
diff changeset
17 return (int)f;
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 and verify that the API complains about the bad cast.
kono
parents:
diff changeset
21 */
kono
parents:
diff changeset
22 gcc_jit_type *int_type =
kono
parents:
diff changeset
23 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 gcc_jit_struct *struct_foo =
kono
parents:
diff changeset
27 gcc_jit_context_new_struct_type (ctxt, NULL, "foo",
kono
parents:
diff changeset
28 0, NULL);
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 gcc_jit_function *test_fn =
kono
parents:
diff changeset
31 gcc_jit_context_new_function (ctxt, NULL,
kono
parents:
diff changeset
32 GCC_JIT_FUNCTION_EXPORTED,
kono
parents:
diff changeset
33 int_type,
kono
parents:
diff changeset
34 "test_fn",
kono
parents:
diff changeset
35 0, NULL,
kono
parents:
diff changeset
36 0);
kono
parents:
diff changeset
37 gcc_jit_lvalue *f =
kono
parents:
diff changeset
38 gcc_jit_function_new_local (
kono
parents:
diff changeset
39 test_fn,
kono
parents:
diff changeset
40 NULL,
kono
parents:
diff changeset
41 gcc_jit_struct_as_type (struct_foo), "f");
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL);
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 gcc_jit_block_end_with_return (
kono
parents:
diff changeset
46 block, NULL,
kono
parents:
diff changeset
47 gcc_jit_context_new_cast (ctxt, NULL,
kono
parents:
diff changeset
48 gcc_jit_lvalue_as_rvalue (f),
kono
parents:
diff changeset
49 int_type));
kono
parents:
diff changeset
50 }
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 void
kono
parents:
diff changeset
53 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
kono
parents:
diff changeset
54 {
kono
parents:
diff changeset
55 CHECK_VALUE (result, NULL);
kono
parents:
diff changeset
56
kono
parents:
diff changeset
57 /* Verify that the correct error message was emitted. */
kono
parents:
diff changeset
58 CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
kono
parents:
diff changeset
59 "gcc_jit_context_new_cast:"
kono
parents:
diff changeset
60 " cannot cast f from type: struct foo"
kono
parents:
diff changeset
61 " to type: int");
kono
parents:
diff changeset
62 }
kono
parents:
diff changeset
63