annotate gcc/testsuite/gcc.dg/analyzer/signal-exit.c @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
1 /* Example of a bad call within a signal handler with replacement
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2 alternative. 'handler' calls 'exit', and 'exit' is not allowed
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 from a signal handler. But '_exit' is allowed. */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5 #include <signal.h>
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6 #include <stdlib.h>
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 extern void body_of_program(void);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 static void handler(int signum)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 exit(1); /* { dg-warning "call to 'exit' from within signal handler" "warning" } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 /* { dg-message "note: '_exit' is a possible signal-safe alternative for 'exit'" "replacement note" { target *-*-* } .-1 } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16 int main(int argc, const char *argv)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
17 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
18 signal(SIGINT, handler); /* { dg-message "registering 'handler' as signal handler" } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
19
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
20 body_of_program();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
21
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
22 return 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
23 }