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