gcc/testsuite/jit.dg/test-error-gcc_jit_block_end_with_switch-NULL-case.c

   1 #include <stdlib.h>
   2 #include <stdio.h>
   3 #include <string.h>
   4
   5 #include "libgccjit.h"
   6
   7 #include "harness.h"
   8
   9 void
  10 create_code (gcc_jit_context *ctxt, void *user_data)
  11 {
  12   /* Let's try to inject the equivalent of:
  13       int
  14       test_switch (int x)
  15       {
  16         switch (x)
  17           {
  18           case x:
  19              return 3;
  20
  21           default:
  22              return 10;
  23           }
  24       }
  25       and verify that we get a sane error about the non-const
  26       case.
  27    */
  28   gcc_jit_type *t_int =
  29     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
  30   gcc_jit_type *return_type = t_int;
  31   gcc_jit_param *x =
  32     gcc_jit_context_new_param (ctxt, NULL, t_int, "x");
  33   gcc_jit_param *params[1] = {x};
  34   gcc_jit_function *func =
  35     gcc_jit_context_new_function (ctxt, NULL,
  36                                   GCC_JIT_FUNCTION_EXPORTED,
  37                                   return_type,
  38                                   "test_switch",
  39                                   1, params, 0);
  40
  41   gcc_jit_block *b_initial =
  42     gcc_jit_function_new_block (func, "initial");
  43
  44   gcc_jit_block *b_default =
  45     gcc_jit_function_new_block (func, "default");
  46
  47   gcc_jit_case *cases[1] = {
  48     NULL
  49   };
  50
  51   gcc_jit_block_end_with_switch (
  52     b_initial, NULL,
  53     gcc_jit_param_as_rvalue (x),
  54     b_default,
  55     1,
  56     cases);
  57 }
  58
  59 void
  60 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
  61 {
  62   CHECK_VALUE (result, NULL);
  63
  64   CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
  65                       "gcc_jit_block_end_with_switch: NULL case 0");
  66 }