gcc/testsuite/jit.dg/test-error-param-used-from-other-function.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      fn_one (int i)
  15      {
  16      }
  17
  18      int
  19      fn_two ()
  20      {
  21        return i * 2;
  22      }
  23
  24      and verify that the API complains about the use of the param
  25      from the other function.  */
  26   gcc_jit_type *void_type =
  27     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
  28   gcc_jit_type *int_type =
  29     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
  30
  31   gcc_jit_param *param =
  32     gcc_jit_context_new_param (ctxt, NULL, int_type, "i");
  33
  34   gcc_jit_context_new_function (ctxt, NULL,
  35                                 GCC_JIT_FUNCTION_EXPORTED,
  36                                 void_type,
  37                                 "fn_one",
  38                                 1, &param,
  39                                 0);
  40   gcc_jit_function *fn_two =
  41     gcc_jit_context_new_function (ctxt, NULL,
  42                                   GCC_JIT_FUNCTION_EXPORTED,
  43                                   int_type,
  44                                   "fn_two",
  45                                   0, NULL,
  46                                   0);
  47
  48   gcc_jit_block *block = gcc_jit_function_new_block (fn_two, NULL);
  49   /* "return i * 2;", using param i from the wrong function.  */
  50   gcc_jit_block_end_with_return (
  51     block,
  52     NULL,
  53     gcc_jit_context_new_binary_op (
  54       ctxt, NULL,
  55       GCC_JIT_BINARY_OP_MULT,
  56       int_type,
  57       gcc_jit_param_as_rvalue (param),
  58       gcc_jit_context_new_rvalue_from_int (ctxt, int_type, 2)));
  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_block_end_with_return:"
  69                        " rvalue i (type: int)"
  70                        " has scope limited to function fn_one"
  71                        " but was used within function fn_two"
  72                        " (in statement: return i * (int)2;)"));
  73 }
  74