aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/analyzer/malloc-macro-inline-events.c
blob: 9134bb4781e5549f448889e498c3c2de062e185d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
/* Test path-printing in the face of macros.  */

/* { dg-additional-options "-fdiagnostics-show-line-numbers -fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */
/* { dg-enable-nn-line-numbers "" } */

#include "malloc-macro.h"

/* { dg-warning "double-'free' of 'ptr'" "" { target *-*-* } 2 } */

int test (void *ptr)
{
  WRAPPED_FREE (ptr); /* { dg-message "in expansion of macro 'WRAPPED_FREE'" } */
  WRAPPED_FREE (ptr); /* { dg-message "in expansion of macro 'WRAPPED_FREE'" } */

  /* { dg-begin-multiline-output "" }
   NN | #define WRAPPED_FREE(PTR) free(PTR)
      |                           ^~~~~~~~~
   NN |   WRAPPED_FREE (ptr);
      |   ^~~~~~~~~~~~
  'test': event 1
    |
    |
    |   NN | #define WRAPPED_FREE(PTR) free(PTR)
    |      |                           ^~~~~~~~~
    |      |                           |
    |      |                           (1) first 'free' here
    |   NN |   WRAPPED_FREE (ptr);
    |      |   ^~~~~~~~~~~~
    |
  'test': event 2
    |
    |
    |   NN | #define WRAPPED_FREE(PTR) free(PTR)
    |      |                           ^~~~~~~~~
    |      |                           |
    |      |                           (2) second 'free' here; first 'free' was at (1)
    |   NN |   WRAPPED_FREE (ptr);
    |      |   ^~~~~~~~~~~~
    |
     { dg-end-multiline-output "" } */
}