]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | # include "bool.h" |
2 | ||
3 | int /*@alt void@*/ f (void) ; | |
4 | ||
5 | int f (void) | |
6 | { | |
7 | return 3; | |
8 | } | |
9 | ||
10 | int g (void) | |
11 | { | |
12 | f (); | |
13 | ||
14 | return 4; | |
15 | } | |
16 | ||
17 | int /*@alt void@*/ f2 (void) ; | |
18 | ||
19 | int /*@alt bool@*/ f2 (void) | |
20 | { | |
21 | return 3; | |
22 | } | |
23 | ||
24 | extern int /*@alt char, bool@*/ x; | |
25 | int /*@alt char@*/ x; |