1 typedef /*@numabstract@*/ int apples;
2 typedef /*@numabstract@*/ int oranges;
7 int adding (apples a, oranges o)
12 a2 = 13; /* error (unless +numabstractlit) ? */
15 a2 = (apples) 13; /* warning if +numabstractcast */
16 a2 = a + 5; /* okay */
18 a2 = a2 - a; /* okay */
20 i = a2 + a; /* error */
21 return a + o; /* error */
24 int comparing (apples a, oranges o, apples a2)
26 if (a < 3) { /* error unless +numabstractlit */
30 if (a < o) { /* error */
34 if (a == o) { /* error */
38 if (a == a2) { /* okay */