../../src/gcc/testsuite/gcc.dg/analyzer/double-free-lto-1-a.c: In function ‘test’:
../../src/gcc/testsuite/gcc.dg/analyzer/double-free-lto-1-a.c:12:3: warning: double-‘free’ of ‘ptr_2(D)’ [CWE-415] [-Wanalyzer-double-free]
   12 |   free (ptr); /* { dg-warning "double-'free' of 'ptr_.+'" } */
      |   ^
  ‘test’: events 1-2
    |
    |    9 | void test (void *ptr)
    |      |      ^
    |      |      |
    |      |      (1) entry to ‘test’
    |   10 | {
    |   11 |   calls_free (ptr); /* { dg-message "calling 'calls_free' from 'test'" } */
    |      |   ~   
    |      |   |
    |      |   (2) calling ‘calls_free’ from ‘test’
    |
    +--> ‘calls_free’: events 3-4
           |
           |../../src/gcc/testsuite/gcc.dg/analyzer/double-free-lto-1-b.c:5:13:
           |    5 | extern void calls_free (void *ptr)
           |      |             ^
           |      |             |
           |      |             (3) entry to ‘calls_free’
           |    6 | {
           |    7 |   free (ptr);
           |      |   ~          
           |      |   |
           |      |   (4) first ‘free’ here
           |
    <------+
    |
  ‘test’: events 5-6
    |
    |../../src/gcc/testsuite/gcc.dg/analyzer/double-free-lto-1-a.c:11:3:
    |   11 |   calls_free (ptr); /* { dg-message "calling 'calls_free' from 'test'" } */
    |      |   ^
    |      |   |
    |      |   (5) returning to ‘test’ from ‘calls_free’
    |   12 |   free (ptr); /* { dg-warning "double-'free' of 'ptr_.+'" } */
    |      |   ~
    |      |   |
    |      |   (6) second ‘free’ here; first ‘free’ was at (4)
    |