gcc/testsuite/gcc.dg/plugin/diagnostic-path-format-inline-events-3.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-fdiagnostics-path-format=inline-events -fdiagnostics-show-line-numbers -fdiagnostics-show-caret" } */
   3 /* { dg-enable-nn-line-numbers "" } */
   4
   5 /* Verify the interaction of inline-events with line numbers.  */
   6
   7 #include <stdlib.h>
   8
   9 extern void missing_location ();
  10
  11 void *wrapped_malloc (size_t size)
  12 {
  13   return malloc (size);
  14 }
  15
  16 void wrapped_free (void *ptr)
  17 {
  18   free (ptr); /* { dg-warning "double-free of 'ptr' \\\[CWE-415\\]" } */
  19   /* { dg-begin-multiline-output "" }
  20    NN |   free (ptr);
  21       |   ^~~~~~~~~~
  22   'test': events 1-2
  23     |
  24     |   NN | {
  25     |      | ^
  26     |      | |
  27     |      | (1) entering 'test'
  28     |   NN |   boxed_int *obj = make_boxed_int (i);
  29     |      |                    ~~~~~~~~~~~~~~~~~~
  30     |      |                    |
  31     |      |                    (2) calling 'make_boxed_int'
  32     |
  33     +--> 'make_boxed_int': events 3-4
  34            |
  35            |   NN | {
  36            |      | ^
  37            |      | |
  38            |      | (3) entering 'make_boxed_int'
  39            |   NN |   boxed_int *result = (boxed_int *)wrapped_malloc (sizeof (boxed_int));
  40            |      |                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  41            |      |                                    |
  42            |      |                                    (4) calling 'wrapped_malloc'
  43            |
  44            +--> 'wrapped_malloc': events 5-6
  45                   |
  46                   |   NN | {
  47                   |      | ^
  48                   |      | |
  49                   |      | (5) entering 'wrapped_malloc'
  50                   |   NN |   return malloc (size);
  51                   |      |          ~~~~~~~~~~~~~
  52                   |      |          |
  53                   |      |          (6) calling 'malloc'
  54                   |
  55     <-------------+
  56     |
  57   'test': event 7
  58     |
  59     |   NN |   free_boxed_int (obj);
  60     |      |   ^~~~~~~~~~~~~~~~~~~~
  61     |      |   |
  62     |      |   (7) calling 'free_boxed_int'
  63     |
  64     +--> 'free_boxed_int': events 8-9
  65            |
  66            |   NN | {
  67            |      | ^
  68            |      | |
  69            |      | (8) entering 'free_boxed_int'
  70            |   NN |   wrapped_free (bi);
  71            |      |   ~~~~~~~~~~~~~~~~~
  72            |      |   |
  73            |      |   (9) calling 'wrapped_free'
  74            |
  75            +--> 'wrapped_free': events 10-11
  76                   |
  77                   |   NN | {
  78                   |      | ^
  79                   |      | |
  80                   |      | (10) entering 'wrapped_free'
  81                   |   NN |   free (ptr);
  82                   |      |   ~~~~~~~~~~
  83                   |      |   |
  84                   |      |   (11) calling 'free'
  85                   |
  86     <-------------+
  87     |
  88   'test': event 12
  89     |
  90     |cc1:
  91     | (12): calling 'missing_location'
  92     |
  93   'test': event 13
  94     |
  95     |   NN |   free_boxed_int (obj);
  96     |      |   ^~~~~~~~~~~~~~~~~~~~
  97     |      |   |
  98     |      |   (13) calling 'free_boxed_int'
  99     |
 100     +--> 'free_boxed_int': events 14-15
 101            |
 102            |   NN | {
 103            |      | ^
 104            |      | |
 105            |      | (14) entering 'free_boxed_int'
 106            |   NN |   wrapped_free (bi);
 107            |      |   ~~~~~~~~~~~~~~~~~
 108            |      |   |
 109            |      |   (15) calling 'wrapped_free'
 110            |
 111            +--> 'wrapped_free': events 16-17
 112                   |
 113                   |   NN | {
 114                   |      | ^
 115                   |      | |
 116                   |      | (16) entering 'wrapped_free'
 117                   |   NN |   free (ptr);
 118                   |      |   ~~~~~~~~~~
 119                   |      |   |
 120                   |      |   (17) calling 'free'
 121                   |
 122      { dg-end-multiline-output "" } */
 123 }
 124
 125 typedef struct boxed_int
 126 {
 127   int i;
 128 } boxed_int;
 129
 130 boxed_int *
 131 make_boxed_int (int i)
 132 {
 133   boxed_int *result = (boxed_int *)wrapped_malloc (sizeof (boxed_int));
 134   result->i = i;
 135   return result;
 136 }
 137
 138 void
 139 free_boxed_int (boxed_int *bi)
 140 {
 141   wrapped_free (bi);
 142 }
 143
 144 void test (int i)
 145 {
 146   boxed_int *obj = make_boxed_int (i);
 147
 148   free_boxed_int (obj);
 149
 150   missing_location ();
 151
 152   free_boxed_int (obj);
 153 }
 154