andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | # include "bool.h" | |
| 2 | ||
| 3 | typedef struct s_abst *abst; | |
| 4 | ||
| 5 | typedef struct | |
| 6 | { | |
| 7 | char *name; | |
| 8 | int val; | |
| 9 | } *immut; | |
| 10 | ||
| 11 | struct s_abst | |
| 12 | { | |
| 13 | char *name; | |
| 14 | int val; | |
| 15 | /*@dependent@*/ abst parent; | |
| 16 | immut im; | |
| 17 | } ; | |
| 18 | ||
| 19 | ||
| 20 | # include "repexpose.lh" |