1double fincpre(double a)  { ++a; return a; }
2double fdecpre(double a)  { --a; return a; }
3double fincpost(double a) { a++; return a; }
4double 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 */
14