|
111
|
1 /* Test C11 _Noreturn. Test valid code using stdnoreturn.h. */
|
|
|
2 /* { dg-do run } */
|
|
|
3 /* { dg-options "-std=c11 -pedantic-errors" } */
|
|
|
4
|
|
|
5 #include <stdnoreturn.h>
|
|
|
6
|
|
|
7 extern int strcmp (const char *, const char *);
|
|
|
8
|
|
|
9 noreturn void exit (int);
|
|
|
10 noreturn void abort (void);
|
|
|
11
|
|
|
12 noreturn int f1 (void);
|
|
|
13
|
|
|
14 noreturn void f2 (void);
|
|
|
15
|
|
|
16 static void noreturn f3 (void) { exit (0); }
|
|
|
17
|
|
|
18 /* Returning from a noreturn function is undefined at runtime, not a
|
|
|
19 constraint violation, but recommended practice is to diagnose if
|
|
|
20 such a return appears possible. */
|
|
|
21
|
|
|
22 noreturn int
|
|
|
23 f4 (void)
|
|
|
24 {
|
|
|
25 return 1; /* { dg-warning "has a 'return' statement" } */
|
|
|
26 /* { dg-warning "does return" "second warning" { target *-*-* } .-1 } */
|
|
|
27 }
|
|
|
28
|
|
|
29 noreturn void
|
|
|
30 f5 (void)
|
|
|
31 {
|
|
|
32 return; /* { dg-warning "has a 'return' statement" } */
|
|
|
33 /* { dg-warning "does return" "second warning" { target *-*-* } .-1 } */
|
|
|
34 }
|
|
|
35
|
|
|
36 noreturn void
|
|
|
37 f6 (void)
|
|
|
38 {
|
|
|
39 } /* { dg-warning "does return" } */
|
|
|
40
|
|
|
41 noreturn void
|
|
|
42 f7 (int a)
|
|
|
43 {
|
|
|
44 if (a)
|
|
|
45 exit (0);
|
|
|
46 } /* { dg-warning "does return" } */
|
|
|
47
|
|
|
48 /* Declarations need not all have noreturn. */
|
|
|
49
|
|
|
50 void f2 (void);
|
|
|
51
|
|
|
52 void f8 (void);
|
|
|
53 noreturn void f8 (void);
|
|
|
54
|
|
|
55 /* Duplicate noreturn is OK. */
|
|
|
56 noreturn noreturn void noreturn f9 (void);
|
|
|
57
|
|
|
58 /* noreturn does not affect type compatibility. */
|
|
|
59
|
|
|
60 void (*fp) (void) = f5;
|
|
|
61
|
|
|
62 #ifndef noreturn
|
|
|
63 #error "noreturn not defined"
|
|
|
64 #endif
|
|
|
65
|
|
|
66 #define str(x) #x
|
|
|
67 #define xstr(x) str(x)
|
|
|
68
|
|
|
69 const char *s = xstr(noreturn);
|
|
|
70
|
|
|
71 int
|
|
|
72 main (void)
|
|
|
73 {
|
|
|
74 if (strcmp (s, "_Noreturn") != 0)
|
|
|
75 abort ();
|
|
|
76 exit (0);
|
|
|
77 }
|
