db/fixup_kernel.sh: update vfs_write() code
[smatch.git] / validation / inc-dec-float.c
blob3cac8f3ee3e2fb652b2314b7c8ca784394da9bdf
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; }
6 /*
7 * check-name: float inc & dec
8 * check-command: test-linearize -Wno-decl $file
9 * check-output-ignore
11 * check-output-excludes: \\$1$
12 * check-output-excludes: \\$-1$