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

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