xref: /illumos-gate/usr/src/tools/smatch/src/validation/pure-function.c (revision 69b1fd3f24d0ee2e682883606201c61f52085805)
1 
2 static __attribute__((__pure__)) int pure1(void)
3 {
4 	int i = 0;
5 	return i;
6 }
7 
8 static __attribute__((__pure__)) void *pure2(void)
9 {
10     void *i = (void *)0;
11     return i;
12 }
13 
14 /*
15  * check-name: Pure function attribute
16  */
17