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 5 ... 0:
      19  	     return 3;
      20  
      21  	  default:
      22  	     return 10;
      23  	  }
      24        }
      25       and verify that we get an error about the reversed endpoints
      26       in the range.
      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    gcc_jit_block *b_case_5_0 =
      47      gcc_jit_function_new_block (func, "case_5_0");
      48  
      49    gcc_jit_case *cases[1] = {
      50      gcc_jit_context_new_case (
      51        ctxt,
      52        gcc_jit_context_new_rvalue_from_int (ctxt, t_int, 5),
      53        gcc_jit_context_new_rvalue_from_int (ctxt, t_int, 0),
      54        b_case_5_0)
      55    };
      56  
      57    gcc_jit_block_end_with_switch (
      58      b_initial, NULL,
      59      gcc_jit_param_as_rvalue (x),
      60      b_default,
      61      1,
      62      cases);
      63  
      64    gcc_jit_block_end_with_return (
      65      b_case_5_0, NULL,
      66      gcc_jit_context_new_rvalue_from_int (ctxt, t_int, 3));
      67    gcc_jit_block_end_with_return (
      68      b_default, NULL,
      69      gcc_jit_context_new_rvalue_from_int (ctxt, t_int, 10));
      70  }
      71  
      72  void
      73  verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
      74  {
      75    CHECK_VALUE (result, NULL);
      76  
      77    CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
      78  		      "gcc_jit_context_new_case:"
      79  		      " min_value: (int)5 > max_value: (int)0");
      80  }