gcc/testsuite/jit.dg/test-error-bad-bitcast2.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      char[4096]
  14      test_fn ()
  15      {
  16        int f;
  17        return bitcast(f, char[4096]);
  18      }
  19
  20      and verify that the API complains about the bad cast.
  21   */
  22   gcc_jit_type *int_type =
  23     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
  24   gcc_jit_type *char_type =
  25     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_CHAR);
  26
  27
  28   gcc_jit_type *array_type =
  29     gcc_jit_context_new_array_type (ctxt, NULL, char_type, 4096);
  30
  31   gcc_jit_function *test_fn =
  32     gcc_jit_context_new_function (ctxt, NULL,
  33                                   GCC_JIT_FUNCTION_EXPORTED,
  34                                   array_type,
  35                                   "test_fn",
  36                                   0, NULL,
  37                                   0);
  38   gcc_jit_lvalue *f =
  39     gcc_jit_function_new_local (
  40       test_fn,
  41       NULL,
  42       int_type, "f");
  43
  44   gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL);
  45
  46   gcc_jit_block_end_with_return (
  47     block, NULL,
  48     gcc_jit_context_new_bitcast (ctxt, NULL,
  49                               gcc_jit_lvalue_as_rvalue (f),
  50                               array_type));
  51 }
  52
  53 void
  54 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
  55 {
  56   CHECK_VALUE (result, NULL);
  57
  58   /* Verify that the correct error message was emitted.  */
  59   CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
  60                       "bitcast with types of different sizes");
  61 }
  62