]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | int f (void) /*#modifies x#*/; |
2 | ||
3 | /*#-commentchar %#*/ | |
4 | ||
5 | /*@ignore@*/ | |
6 | int x = 'c'; /* not ignored */ | |
7 | /*@end@*/ | |
8 | ||
9 | /*%ignore%*/ | |
10 | int x = 'c'; /* is ignored */ | |
11 | /*%end%*/ | |
12 | ||
13 | /*%-commentchar @%*/ | |
14 | /*@-commentchar5*/ | |
15 | /*@=commentchar*/ |