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