xref: /illumos-gate/usr/src/tools/smatch/src/validation/function-redecl2.c (revision abb88ab1b9516b1ca12094db7f2cfb5d91e0a135)
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