Mercurial > hg > CbC > CbC_gcc
diff gcc/testsuite/jit.dg/test-error-call-through-ptr-with-mismatching-args.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/testsuite/jit.dg/test-error-call-through-ptr-with-mismatching-args.c Fri Oct 27 22:46:09 2017 +0900 @@ -0,0 +1,74 @@ +#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 (void (*some_fn_ptr) (void *)) + { + some_fn_ptr (42); + } + + and verify that the API complains about the mismatching argument + type ("int" vs "void *"). */ + gcc_jit_type *void_type = + gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID); + gcc_jit_type *void_ptr_type = + gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID_PTR); + gcc_jit_type *int_type = + gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT); + + /* Build the function ptr type. */ + gcc_jit_type *fn_ptr_type = + gcc_jit_context_new_function_ptr_type (ctxt, NULL, + void_type, + 1, &void_ptr_type, 0); + + /* Build the test_fn. */ + gcc_jit_param *param_fn_ptr = + gcc_jit_context_new_param (ctxt, NULL, fn_ptr_type, "some_fn_ptr"); + + gcc_jit_function *test_fn = + gcc_jit_context_new_function (ctxt, NULL, + GCC_JIT_FUNCTION_EXPORTED, + void_type, + "test_fn", + 1, ¶m_fn_ptr, + 0); + /* some_fn_ptr (42); */ + gcc_jit_rvalue *arg = + gcc_jit_context_new_rvalue_from_int (ctxt, int_type, 42); + + gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL); + gcc_jit_block_add_eval ( + block, NULL, + gcc_jit_context_new_call_through_ptr ( + ctxt, + NULL, + gcc_jit_param_as_rvalue (param_fn_ptr), + 1, &arg)); + /* the above has the wrong type for argument 1. */ + gcc_jit_block_end_with_void_return (block, 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), + ("gcc_jit_context_new_call_through_ptr:" + " mismatching types for argument 1 of fn_ptr:" + " some_fn_ptr:" + " assignment to param 1 (type: void *)" + " from (int)42 (type: int)")); +} +