gcc/testsuite/jit.dg/test-error-call-through-ptr-with-mismatching-args.c

   1 #include <stdlib.h>
   2 #include <stdio.h>
   3
   4 #include "libgccjit.h"
   5
   6 #include "harness.h"
   7
   8 void
   9 create_code (gcc_jit_context *ctxt, void *user_data)
  10 {
  11   /* Let's try to inject the equivalent of:
  12
  13      void
  14      test_fn (void (*some_fn_ptr) (void *))
  15      {
  16         some_fn_ptr (42);
  17      }
  18
  19      and verify that the API complains about the mismatching argument
  20      type ("int" vs "void *").  */
  21   gcc_jit_type *void_type =
  22     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
  23   gcc_jit_type *void_ptr_type =
  24     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID_PTR);
  25   gcc_jit_type *int_type =
  26     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
  27
  28   /* Build the function ptr type.  */
  29   gcc_jit_type *fn_ptr_type =
  30     gcc_jit_context_new_function_ptr_type (ctxt, NULL,
  31                                            void_type,
  32                                            1, &void_ptr_type, 0);
  33
  34   /* Build the test_fn.  */
  35   gcc_jit_param *param_fn_ptr =
  36     gcc_jit_context_new_param (ctxt, NULL, fn_ptr_type, "some_fn_ptr");
  37
  38   gcc_jit_function *test_fn =
  39     gcc_jit_context_new_function (ctxt, NULL,
  40                                   GCC_JIT_FUNCTION_EXPORTED,
  41                                   void_type,
  42                                   "test_fn",
  43                                   1, &param_fn_ptr,
  44                                   0);
  45   /* some_fn_ptr (42); */
  46   gcc_jit_rvalue *arg =
  47     gcc_jit_context_new_rvalue_from_int (ctxt, int_type, 42);
  48
  49   gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL);
  50   gcc_jit_block_add_eval (
  51     block, NULL,
  52     gcc_jit_context_new_call_through_ptr (
  53       ctxt,
  54       NULL,
  55       gcc_jit_param_as_rvalue (param_fn_ptr),
  56       1, &arg));
  57   /* the above has the wrong type for argument 1.  */
  58   gcc_jit_block_end_with_void_return (block, NULL);
  59 }
  60
  61 void
  62 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
  63 {
  64   CHECK_VALUE (result, NULL);
  65
  66   /* Verify that the correct error message was emitted.  */
  67   CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
  68                       ("gcc_jit_context_new_call_through_ptr:"
  69                        " mismatching types for argument 1 of fn_ptr:"
  70                        " some_fn_ptr:"
  71                        " assignment to param 1 (type: void *)"
  72                        " from (int)42 (type: int)"));
  73 }
  74