xref: /illumos-gate/usr/src/tools/smatch/src/validation/function-redecl2.c (revision 3b436d06bb95fd180ef7416b2b1b9972e2f2a513)
1 extern void exit (int __status) __attribute__ ((__noreturn__));
2 
3 int func0(int a) __attribute__ ((pure));
4 
5 __attribute__ ((pure))
6 int func0(int a)
7 {
8 	return 0;
9 }
10 
11 __attribute__ ((noreturn)) void func1(int a);
12 
13 void func1(int a)
14 {
15 	exit(0);
16 }
17 
18 void func2(int a) __attribute__ ((noreturn));
19 
20 __attribute__ ((noreturn))
21 void func2(int a)
22 {
23 	exit(0);
24 }
25 
26 /*
27  * check-name: function-redecl2
28  *
29  * check-known-to-fail
30  *
31  */
32