setfval64(void)1*c85f09ccSJohn Levon double setfval64(void) { return 1.23; }
setfval32(void)2*c85f09ccSJohn Levon float  setfval32(void) { return 1.23F; }
3*c85f09ccSJohn Levon 
4*c85f09ccSJohn Levon /*
5*c85f09ccSJohn Levon  * check-name: setval-float
6*c85f09ccSJohn Levon  * check-command: sparsec -Wno-decl -c $file -o tmp.o
7*c85f09ccSJohn Levon  */
8