gcc/testsuite/gcc.dg/analyzer/event-links-unicode.c

/* Verify that we print event links for the analyzer, using Unicode.
   C only: we don't care about any C/C++ differences between source
   locations here.  */

/* { dg-additional-options "-fdiagnostics-path-format=inline-events" } */
/* { dg-additional-options "-fdiagnostics-show-line-numbers" } */
/* { dg-additional-options "-fdiagnostics-show-caret" } */
/* { dg-additional-options "-fdiagnostics-show-event-links" } */
/* { dg-additional-options "-fdiagnostics-text-art-charset=unicode" } */
/* { dg-enable-nn-line-numbers "" } */

void test (int flag_a, int val, void *p)
{
  if (flag_a)
    __builtin_free (p);
  switch (val)
    {
    default:
      break;
    case 41:
      break;
    case 42:
      __builtin_free (p); /* { dg-warning "double-'free' of 'p'" } */
      break;
    case 43:
      break;
    }
}

/* { dg-begin-multiline-output "" }
   NN |       __builtin_free (p);
      |       ^~~~~~~~~~~~~~~~~~
  'test': events 1-6
   NN |   if (flag_a)
      |      ^
      |      |
      |      (1) following 'true' branch (when 'flag_a != 0')... ─>─┐
      |                                                             │
      |                                                             │
      |┌────────────────────────────────────────────────────────────┘
   NN |│    __builtin_free (p);
      |│    ~~~~~~~~~~~~~~~~~~
      |│    |
      |└───>(2) ...to here
      |     (3) first 'free' here
   NN |   switch (val)
      |   ~~~~~~
      |   |
      |   (4) following 'case 42:' branch... ─>─┐
      |                                         │
......
      |                                         │
      |┌────────────────────────────────────────┘
   NN |│    case 42:
      |│    ~~~~
      |│    |
      |└───>(5) ...to here
   NN |       __builtin_free (p);
      |       ~~~~~~~~~~~~~~~~~~
      |       |
      |       (6) second 'free' here; first 'free' was at (3)
    { dg-end-multiline-output "" } */