]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | typedef /*@integraltype@*/ a_int; |
2 | typedef /*@unsignedintegraltype@*/ u_int; | |
3 | typedef /*@signedintegraltype@*/ s_int; | |
4 | ||
5 | int f (a_int a, u_int u, s_int s) | |
6 | { | |
7 | unsigned long ul; | |
8 | long l; | |
9 | ||
10 | printf ("the values are: %d %ld %ud", a, u, s); /* expect 3 errors */ | |
11 | ul = a; /* Assignment of a_int to unsigned long int: ul = a */ | |
12 | ||
13 | /*@+longunsignedintegral@*/ | |
14 | ul = a; | |
15 | ||
16 | /*@+longintegral@*/ | |
17 | ul = a; | |
18 | ||
19 | if (u == a) printf ("yo!"); | |
20 | ||
21 | /*@+matchanyintegral@*/ | |
22 | if (u == l) printf ("yo!"); | |
23 | if (u == a) printf ("yo!"); | |
24 | /*@=matchanyintegral@*/ | |
25 | ||
26 | /*@+longsignedintegral@*/ | |
27 | printf ("i'm okay: %ld", s); | |
28 | ||
29 | /*@+longunsignedunsignedintegral@*/ | |
30 | printf ("you're not! %ld", u); | |
31 | printf ("you're not! %ud", u); | |
32 | ||
33 | return a; | |
34 | } |