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

#include <libgccjit.h>
#include "harness.h"

void
create_code (gcc_jit_context *ctxt, void *user_data)
{
  /* Replay of API calls for ctxt.  */
  gcc_jit_type *type_long_long =
    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG_LONG);
  gcc_jit_type *type_void =
    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
  gcc_jit_type *type_void_ptr =
    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID_PTR);
  gcc_jit_field *field_u_signed =
    gcc_jit_context_new_field (ctxt,
			       NULL, /* gcc_jit_location *loc */
			       type_long_long, /* gcc_jit_type *type, */
			       "u_signed"); /* const char *name */
  gcc_jit_field *field_u_ptr =
    gcc_jit_context_new_field (ctxt,
			       NULL, /* gcc_jit_location *loc */
			       type_void_ptr, /* gcc_jit_type *type, */
			       "u_ptr"); /* const char *name */
  gcc_jit_field *fields_for_union_any[2] = {
    field_u_signed,
    field_u_ptr,
  };
  gcc_jit_type *union_any =
    gcc_jit_context_new_union_type (ctxt,
				    NULL, /* gcc_jit_location *loc */
				    "any", /* const char *name */
				    2, /* int num_fields */
				    fields_for_union_any);
  gcc_jit_function *func =
    gcc_jit_context_new_function (ctxt, /* gcc_jit_context *ctxt */
				  NULL, /* gcc_jit_location *loc */
				  GCC_JIT_FUNCTION_EXPORTED,
				  type_void, /* gcc_jit_type *return_type */
				  "anonloop_0", /* const char *name */
				  0, /* int num_params */
				  NULL, /* gcc_jit_param **params */
				  0); /* int is_variadic */
  gcc_jit_block *block_initial =
    gcc_jit_function_new_block (func, "initial");

  gcc_jit_lvalue *local_tmp =
    gcc_jit_function_new_local (func, /* gcc_jit_function *func */
				NULL, /* gcc_jit_location *loc */
				union_any, /* gcc_jit_type *type */
				"tmp"); /* const char *name */

  /* "tmp.u_signed = 0x213d640;" */
  gcc_jit_block_add_assignment (
    block_initial, /*gcc_jit_block *block */
    NULL, /* gcc_jit_location *loc */
    gcc_jit_lvalue_access_field (local_tmp, /*gcc_jit_lvalue *struct_or_union */
				 NULL, /*gcc_jit_location *loc */
				 field_u_signed),
    gcc_jit_context_new_rvalue_from_long (
      ctxt, /* gcc_jit_context *ctxt */
      type_long_long, /* gcc_jit_type *numeric_type */
      0x213d640)); /* long value */

  /* "(*tmp.u_ptr) += 1;" which can't be done since u_ptr is a (void *).  */
  gcc_jit_block_add_assignment_op (
    block_initial, /*gcc_jit_block *block */
    NULL, /* gcc_jit_location *loc */
    /* "(*tmp.u_ptr)".  */
    gcc_jit_rvalue_dereference (
      gcc_jit_lvalue_as_rvalue (
	gcc_jit_lvalue_access_field (
	  local_tmp, /*gcc_jit_lvalue *struct_or_union */
	  NULL, /*gcc_jit_location *loc */
	  field_u_ptr)),
      NULL), /* gcc_jit_location *loc */
    GCC_JIT_BINARY_OP_PLUS, /* enum gcc_jit_binary_op op */
    gcc_jit_context_new_rvalue_from_int (
      ctxt, /* gcc_jit_context *ctxt */
      type_long_long, /* gcc_jit_type *numeric_type */
      1)); /* int value */

  gcc_jit_block_end_with_void_return (block_initial, /*gcc_jit_block *block */
				      NULL);
}

void
verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
{
  CHECK_VALUE (result, NULL);

  /* Verify that the correct error message was emitted.  */
  CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
		      "gcc_jit_rvalue_dereference:"
		      " dereference of void pointer tmp.u_ptr"
		      " (type: void *)");
}