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 */