gcc/testsuite/c-c++-common/analyzer/signal-4a.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 void test (void)
  25 {
  26   void *ptr = malloc (1024);
  27   signal(SIGINT, int_handler);
  28   body_of_program();
  29   free (ptr);
  30 }
  31
  32 /* "call to 'fprintf' from within signal handler [CWE-479]".  */
  33 /* { dg-begin-multiline-output "" }
  34    NN |   fprintf(stderr, "LOG: %s", msg);
  35       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  36   'test': events 1-2
  37     |
  38     |   NN | void test (void)
  39     |      |      ^~~~
  40     |      |      |
  41     |      |      (1) entry to 'test'
  42     |......
  43     |   NN |   signal(SIGINT, int_handler);
  44     |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
  45     |      |   |
  46     |      |   (2) registering 'int_handler' as signal handler
  47     |
  48   event 3
  49     |
  50     |cc1:
  51     | (3): later on, when the signal is delivered to the process
  52     |
  53     +--> 'int_handler': events 4-5
  54            |
  55            |   NN | static void int_handler(int signum)
  56            |      |             ^~~~~~~~~~~
  57            |      |             |
  58            |      |             (4) entry to 'int_handler'
  59            |   NN | {
  60            |   NN |   custom_logger("got signal");
  61            |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
  62            |      |   |
  63            |      |   (5) calling 'custom_logger' from 'int_handler'
  64            |
  65            +--> 'custom_logger': events 6-7
  66                   |
  67                   |   NN | void custom_logger(const char *msg)
  68                   |      |      ^~~~~~~~~~~~~
  69                   |      |      |
  70                   |      |      (6) entry to 'custom_logger'
  71                   |   NN | {
  72                   |   NN |   fprintf(stderr, "LOG: %s", msg);
  73                   |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  74                   |      |   |
  75                   |      |   (7) call to 'fprintf' from within signal handler
  76                   |
  77   { dg-end-multiline-output "" { target c } } */
  78 /* { dg-begin-multiline-output "" }
  79    NN |   fprintf(stderr, "LOG: %s", msg);
  80       |   ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
  81   'void test()': events 1-2
  82     |
  83     |   NN | void test (void)
  84     |      |      ^~~~
  85     |      |      |
  86     |      |      (1) entry to 'test'
  87     |......
  88     |   NN |   signal(SIGINT, int_handler);
  89     |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
  90     |      |         |
  91     |      |         (2) registering 'void int_handler(int)' as signal handler
  92     |
  93   event 3
  94     |
  95     |cc1plus:
  96     | (3): later on, when the signal is delivered to the process
  97     |
  98     +--> 'void int_handler(int)': events 4-5
  99            |
 100            |   NN | static void int_handler(int signum)
 101            |      |             ^~~~~~~~~~~
 102            |      |             |
 103            |      |             (4) entry to 'int_handler'
 104            |   NN | {
 105            |   NN |   custom_logger("got signal");
 106            |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
 107            |      |                |
 108            |      |                (5) calling 'custom_logger' from 'int_handler'
 109            |
 110            +--> 'void custom_logger(const char*)': events 6-7
 111                   |
 112                   |   NN | void custom_logger(const char *msg)
 113                   |      |      ^~~~~~~~~~~~~
 114                   |      |      |
 115                   |      |      (6) entry to 'custom_logger'
 116                   |   NN | {
 117                   |   NN |   fprintf(stderr, "LOG: %s", msg);
 118                   |      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 119                   |      |          |
 120                   |      |          (7) call to 'int fprintf(FILE*, const char*, ...)' from within signal handler
 121                   |
 122   { dg-end-multiline-output "" { target c++ } } */