]>
Commit | Line | Data |
---|---|---|
f2b6724f | 1 | /* |
2 | ** Added 2001-12-29 | |
3 | ** Test for branchstate bug reported by Jon Wilson | |
4 | */ | |
5 | ||
6 | typedef /*@null@*/ struct s_foo *foo; | |
7 | ||
8 | struct s_foo { | |
9 | foo p; | |
10 | } ; | |
11 | ||
12 | void f (foo a) | |
13 | { | |
14 | while ( a != NULL ) { | |
15 | foo temp = a->p ; | |
16 | a->p = NULL ; | |
17 | a = temp ; | |
18 | } | |
19 | } | |
20 |