xref: /illumos-gate/usr/src/tools/smatch/src/validation/inc-dec-float.c (revision 3580e26c24814e4d892b1eae539b8761388f79f1)
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  */
14