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