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