| #include <math.h> |
| #include <stdlib.h> |
| #include <stdio.h> |
| |
| #include "libgccjit.h" |
| |
| #include "harness.h" |
| |
| void |
| create_code (gcc_jit_context *ctxt, void *user_data) |
| { |
| /* Let's try to inject the equivalent of: |
| void |
| test_fn () |
| { |
| return; |
| return; |
| } |
| */ |
| gcc_jit_type *void_t = |
| gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID); |
| |
| /* Build the test_fn. */ |
| gcc_jit_function *test_fn = |
| gcc_jit_context_new_function (ctxt, NULL, |
| GCC_JIT_FUNCTION_EXPORTED, |
| void_t, |
| "test_fn", |
| 0, NULL, |
| 0); |
| gcc_jit_block *initial = |
| gcc_jit_function_new_block (test_fn, "initial"); |
| |
| gcc_jit_block_end_with_void_return (initial, NULL); |
| /* Error: "initial" has already been terminated. */ |
| gcc_jit_block_end_with_void_return (initial, NULL); |
| } |
| |
| void |
| verify_code (gcc_jit_context *ctxt, gcc_jit_result *result) |
| { |
| CHECK_VALUE (result, NULL); |
| |
| CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt), |
| "gcc_jit_block_end_with_void_return:" |
| " adding to terminated block:" |
| " initial (already terminated by: return;)"); |
| } |