gcc/testsuite/jit.dg/test-error-dereferencing-void-ptr.c

   1 #include <libgccjit.h>
   2 #include "harness.h"
   3
   4 void
   5 create_code (gcc_jit_context *ctxt, void *user_data)
   6 {
   7   /* Replay of API calls for ctxt.  */
   8   gcc_jit_type *type_long_long =
   9     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG_LONG);
  10   gcc_jit_type *type_void =
  11     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
  12   gcc_jit_type *type_void_ptr =
  13     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID_PTR);
  14   gcc_jit_field *field_u_signed =
  15     gcc_jit_context_new_field (ctxt,
  16                                NULL, /* gcc_jit_location *loc */
  17                                type_long_long, /* gcc_jit_type *type, */
  18                                "u_signed"); /* const char *name */
  19   gcc_jit_field *field_u_ptr =
  20     gcc_jit_context_new_field (ctxt,
  21                                NULL, /* gcc_jit_location *loc */
  22                                type_void_ptr, /* gcc_jit_type *type, */
  23                                "u_ptr"); /* const char *name */
  24   gcc_jit_field *fields_for_union_any[2] = {
  25     field_u_signed,
  26     field_u_ptr,
  27   };
  28   gcc_jit_type *union_any =
  29     gcc_jit_context_new_union_type (ctxt,
  30                                     NULL, /* gcc_jit_location *loc */
  31                                     "any", /* const char *name */
  32                                     2, /* int num_fields */
  33                                     fields_for_union_any);
  34   gcc_jit_function *func =
  35     gcc_jit_context_new_function (ctxt, /* gcc_jit_context *ctxt */
  36                                   NULL, /* gcc_jit_location *loc */
  37                                   GCC_JIT_FUNCTION_EXPORTED,
  38                                   type_void, /* gcc_jit_type *return_type */
  39                                   "anonloop_0", /* const char *name */
  40                                   0, /* int num_params */
  41                                   NULL, /* gcc_jit_param **params */
  42                                   0); /* int is_variadic */
  43   gcc_jit_block *block_initial =
  44     gcc_jit_function_new_block (func, "initial");
  45
  46   gcc_jit_lvalue *local_tmp =
  47     gcc_jit_function_new_local (func, /* gcc_jit_function *func */
  48                                 NULL, /* gcc_jit_location *loc */
  49                                 union_any, /* gcc_jit_type *type */
  50                                 "tmp"); /* const char *name */
  51
  52   /* "tmp.u_signed = 0x213d640;" */
  53   gcc_jit_block_add_assignment (
  54     block_initial, /*gcc_jit_block *block */
  55     NULL, /* gcc_jit_location *loc */
  56     gcc_jit_lvalue_access_field (local_tmp, /*gcc_jit_lvalue *struct_or_union */
  57                                  NULL, /*gcc_jit_location *loc */
  58                                  field_u_signed),
  59     gcc_jit_context_new_rvalue_from_long (
  60       ctxt, /* gcc_jit_context *ctxt */
  61       type_long_long, /* gcc_jit_type *numeric_type */
  62       0x213d640)); /* long value */
  63
  64   /* "(*tmp.u_ptr) += 1;" which can't be done since u_ptr is a (void *).  */
  65   gcc_jit_block_add_assignment_op (
  66     block_initial, /*gcc_jit_block *block */
  67     NULL, /* gcc_jit_location *loc */
  68     /* "(*tmp.u_ptr)".  */
  69     gcc_jit_rvalue_dereference (
  70       gcc_jit_lvalue_as_rvalue (
  71         gcc_jit_lvalue_access_field (
  72           local_tmp, /*gcc_jit_lvalue *struct_or_union */
  73           NULL, /*gcc_jit_location *loc */
  74           field_u_ptr)),
  75       NULL), /* gcc_jit_location *loc */
  76     GCC_JIT_BINARY_OP_PLUS, /* enum gcc_jit_binary_op op */
  77     gcc_jit_context_new_rvalue_from_int (
  78       ctxt, /* gcc_jit_context *ctxt */
  79       type_long_long, /* gcc_jit_type *numeric_type */
  80       1)); /* int value */
  81
  82   gcc_jit_block_end_with_void_return (block_initial, /*gcc_jit_block *block */
  83                                       NULL);
  84 }
  85
  86 void
  87 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
  88 {
  89   CHECK_VALUE (result, NULL);
  90
  91   /* Verify that the correct error message was emitted.  */
  92   CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
  93                       "gcc_jit_rvalue_dereference:"
  94                       " dereference of void pointer tmp.u_ptr"
  95                       " (type: void *)");
  96 }