gcc/testsuite/c-c++-common/analyzer/signal-4b.c

   1 /* Verify how paths are printed for signal-handler diagnostics.  */
   2
   3 /* { dg-options "-fanalyzer -fdiagnostics-show-line-numbers -fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */
   4 /* { dg-enable-nn-line-numbers "" } */
   5 /* { dg-require-effective-target signal } */
   6
   7 #include <stdio.h>
   8 #include <signal.h>
   9 #include <stdlib.h>
  10
  11 extern void body_of_program(void);
  12
  13 void custom_logger(const char *msg)
  14 {
  15   fprintf(stderr, "LOG: %s", msg); /* { dg-warning "call to 'fprintf' from within signal handler" "" { target c } } */
  16   /* { dg-warning "call to 'int fprintf\\(FILE\\*, const char\\*, ...\\)' from within signal handler" "" { target c++ } .-1 } */
  17 }
  18
  19 static void int_handler(int signum)
  20 {
  21   custom_logger("got signal");
  22 }
  23
  24 static void __analyzer_register_handler ()
  25 {
  26   signal(SIGINT, int_handler);
  27 }
  28
  29 void test (void)
  30 {
  31   __analyzer_register_handler ();
  32   body_of_program();
  33 }
  34
  35 /* "call to 'fprintf' from within signal handler [CWE-479]".  */
  36 /* { dg-begin-multiline-output "" }
  37    NN |   fprintf(stderr, "LOG: %s", msg);
  38       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  39   'test': events 1-2
  40     |
  41     |   NN | void test (void)
  42     |      |      ^~~~
  43     |      |      |
  44     |      |      (1) entry to 'test'
  45     |   NN | {
  46     |   NN |   __analyzer_register_handler ();
  47     |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  48     |      |   |
  49     |      |   (2) calling '__analyzer_register_handler' from 'test'
  50     |
  51     +--> '__analyzer_register_handler': events 3-4
  52            |
  53            |   NN | static void __analyzer_register_handler ()
  54            |      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~
  55            |      |             |
  56            |      |             (3) entry to '__analyzer_register_handler'
  57            |   NN | {
  58            |   NN |   signal(SIGINT, int_handler);
  59            |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
  60            |      |   |
  61            |      |   (4) registering 'int_handler' as signal handler
  62            |
  63   event 5
  64     |
  65     |cc1:
  66     | (5): later on, when the signal is delivered to the process
  67     |
  68     +--> 'int_handler': events 6-7
  69            |
  70            |   NN | static void int_handler(int signum)
  71            |      |             ^~~~~~~~~~~
  72            |      |             |
  73            |      |             (6) entry to 'int_handler'
  74            |   NN | {
  75            |   NN |   custom_logger("got signal");
  76            |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
  77            |      |   |
  78            |      |   (7) calling 'custom_logger' from 'int_handler'
  79            |
  80            +--> 'custom_logger': events 8-9
  81                   |
  82                   |   NN | void custom_logger(const char *msg)
  83                   |      |      ^~~~~~~~~~~~~
  84                   |      |      |
  85                   |      |      (8) entry to 'custom_logger'
  86                   |   NN | {
  87                   |   NN |   fprintf(stderr, "LOG: %s", msg);
  88                   |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  89                   |      |   |
  90                   |      |   (9) call to 'fprintf' from within signal handler
  91                   |
  92   { dg-end-multiline-output "" { target c } } */
  93 /* { dg-begin-multiline-output "" }
  94    NN |   fprintf(stderr, "LOG: %s", msg);
  95       |   ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
  96   'void test()': events 1-2
  97     |
  98     |   NN | void test (void)
  99     |      |      ^~~~
 100     |      |      |
 101     |      |      (1) entry to 'test'
 102     |   NN | {
 103     |   NN |   __analyzer_register_handler ();
 104     |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 105     |      |                               |
 106     |      |                               (2) calling '__analyzer_register_handler' from 'test'
 107     |
 108     +--> 'void __analyzer_register_handler()': events 3-4
 109            |
 110            |   NN | static void __analyzer_register_handler ()
 111            |      |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~
 112            |      |             |
 113            |      |             (3) entry to '__analyzer_register_handler'
 114            |   NN | {
 115            |   NN |   signal(SIGINT, int_handler);
 116            |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
 117            |      |         |
 118            |      |         (4) registering 'void int_handler(int)' as signal handler
 119            |
 120   event 5
 121     |
 122     |cc1plus:
 123     | (5): later on, when the signal is delivered to the process
 124     |
 125     +--> 'void int_handler(int)': events 6-7
 126            |
 127            |   NN | static void int_handler(int signum)
 128            |      |             ^~~~~~~~~~~
 129            |      |             |
 130            |      |             (6) entry to 'int_handler'
 131            |   NN | {
 132            |   NN |   custom_logger("got signal");
 133            |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
 134            |      |                |
 135            |      |                (7) calling 'custom_logger' from 'int_handler'
 136            |
 137            +--> 'void custom_logger(const char*)': events 8-9
 138                   |
 139                   |   NN | void custom_logger(const char *msg)
 140                   |      |      ^~~~~~~~~~~~~
 141                   |      |      |
 142                   |      |      (8) entry to 'custom_logger'
 143                   |   NN | {
 144                   |   NN |   fprintf(stderr, "LOG: %s", msg);
 145                   |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 146                   |      |          |
 147                   |      |          (9) call to 'int fprintf(FILE*, const char*, ...)' from within signal handler
 148                   |
 149   { dg-end-multiline-output "" { target c++ } } */