1 double setfval64(void) { return 1.23; }
   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  */