gcc/testsuite/jit.dg/test-error-block-in-wrong-function.c

   1 #include <math.h>
   2 #include <stdlib.h>
   3 #include <stdio.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        void
  14        test_fn ()
  15        {
  16          goto label;
  17        }
  18
  19        void
  20        other_fn ()
  21        {
  22          label:
  23        };
  24      where the destination block is in another function.
  25   */
  26   gcc_jit_type *void_t =
  27     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
  28
  29   /* Build the test_fn.  */
  30   gcc_jit_function *test_fn =
  31     gcc_jit_context_new_function (ctxt, NULL,
  32                                   GCC_JIT_FUNCTION_EXPORTED,
  33                                   void_t,
  34                                   "test_fn",
  35                                   0, NULL,
  36                                   0);
  37   /* Build the other_fn.  */
  38   gcc_jit_function *other_fn =
  39     gcc_jit_context_new_function (ctxt, NULL,
  40                                   GCC_JIT_FUNCTION_EXPORTED,
  41                                   void_t,
  42                                   "other_fn",
  43                                   0, NULL,
  44                                   0);
  45
  46   gcc_jit_block *initial =
  47     gcc_jit_function_new_block (test_fn, "initial");
  48   gcc_jit_block *block_within_other_fn =
  49     gcc_jit_function_new_block (other_fn, "block_within_other_fn");
  50
  51   gcc_jit_block_end_with_jump (initial, NULL, block_within_other_fn);
  52 }
  53
  54 void
  55 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
  56 {
  57   CHECK_VALUE (result, NULL);
  58
  59   CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
  60                       "gcc_jit_block_end_with_jump:"
  61                       " target block is not in same function:"
  62                       " source block initial is in function test_fn"
  63                       " whereas target block block_within_other_fn"
  64                       " is in function other_fn");
  65   /* Example of a testcase in which the last error != first error.  */
  66   CHECK_STRING_VALUE (gcc_jit_context_get_last_error (ctxt),
  67                       "unterminated block in other_fn: block_within_other_fn");
  68 }