]>
Commit | Line | Data |
---|---|---|
80ee600a | 1 | typedef int mint; /* Concrete in impabstract.lcl */ |
2 | typedef /*@concrete@*/ int cint; /* Abstract in impabstract.lcl */ | |
885824d3 | 3 | |
4 | int f (mint m, cint c) | |
5 | { | |
6 | if (c > 3) | |
7 | { | |
8 | return c; | |
9 | } | |
10 | ||
11 | if (m < 2) | |
12 | { | |
13 | return m; | |
14 | } | |
15 | ||
16 | return 3; | |
17 | } |