gcc/testsuite/gcc.dg/analyzer/malloc-macro-inline-events.c

   1 /* Test path-printing in the face of macros.  */
   2
   3 /* { dg-additional-options "-fdiagnostics-show-line-numbers -fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */
   4 /* { dg-enable-nn-line-numbers "" } */
   5
   6 #include "malloc-macro.h"
   7
   8 /* { dg-warning "double-'free' of 'ptr'" "" { target *-*-* } 2 } */
   9
  10 int test (void *ptr)
  11 {
  12   WRAPPED_FREE (ptr); /* { dg-message "in expansion of macro 'WRAPPED_FREE'" } */
  13   WRAPPED_FREE (ptr); /* { dg-message "in expansion of macro 'WRAPPED_FREE'" } */
  14
  15   /* { dg-begin-multiline-output "" }
  16    NN | #define WRAPPED_FREE(PTR) free(PTR)
  17       |                           ^~~~~~~~~
  18    NN |   WRAPPED_FREE (ptr);
  19       |   ^~~~~~~~~~~~
  20   'test': event 1
  21     |
  22     |
  23     |   NN | #define WRAPPED_FREE(PTR) free(PTR)
  24     |      |                           ^~~~~~~~~
  25     |      |                           |
  26     |      |                           (1) first 'free' here
  27     |   NN |   WRAPPED_FREE (ptr);
  28     |      |   ^~~~~~~~~~~~
  29     |
  30   'test': event 2
  31     |
  32     |
  33     |   NN | #define WRAPPED_FREE(PTR) free(PTR)
  34     |      |                           ^~~~~~~~~
  35     |      |                           |
  36     |      |                           (2) second 'free' here; first 'free' was at (1)
  37     |   NN |   WRAPPED_FREE (ptr);
  38     |      |   ^~~~~~~~~~~~
  39     |
  40      { dg-end-multiline-output "" } */
  41 }