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