]>
Commit | Line | Data |
---|---|---|
52e90c0f | 1 | |
2 | typedef struct elem_ elem; | |
3 | ||
4 | struct elem_ { | |
5 | /*@null@*/ elem *next; | |
6 | int val; | |
7 | }; | |
8 | ||
9 | void foo(/*@null@*/ elem *e) | |
10 | { | |
11 | if ((e != NULL) && (e->val > 2)) | |
12 | { | |
13 | ; | |
14 | } | |
15 | ||
16 | for (; ((e != NULL) && (e->val > 2)); e=e->next) ; | |
17 | ||
18 | for (; ((e == NULL) || (e->val > 2)); e=e->next) ; | |
19 | } |