1 double fincpre(double a)  { ++a; return a; }
   2 double fdecpre(double a)  { --a; return a; }
   3 double fincpost(double a) { a++; return a; }
   4 double fdecpost(double a) { a--; return a; }
   5 
   6 /*
   7  * check-name: float inc & dec
   8  * check-command: test-linearize -Wno-decl $file
   9  * check-output-ignore
  10  *
  11  * check-output-excludes: \\$1$
  12  * check-output-excludes: \\$-1$
  13  */