foo(void)1*1f5207b7SJohn Levonstatic void foo(void) 2*1f5207b7SJohn Levon { 3*1f5207b7SJohn Levon } 4*1f5207b7SJohn Levon bar(void * p)5*1f5207b7SJohn Levonstatic void *bar(void *p) 6*1f5207b7SJohn Levon { 7*1f5207b7SJohn Levon return p; 8*1f5207b7SJohn Levon } 9*1f5207b7SJohn Levon 10*1f5207b7SJohn Levon /* 11*1f5207b7SJohn Levon * check-name: void return type code generation 12*1f5207b7SJohn Levon * check-command: sparsec -c $file -o tmp.o 13*1f5207b7SJohn Levon */ 14