andersk / splint.git / blame
| Commit | Line | Data |
|---|---|---|
| 11db3170 | 1 | /* Output from Splint 3.0.0.20 */ |
| 885824d3 | 2 | # include "bool.h" |
| 3 | ||
| 4 | ||
| 5 | extern void incx1 (pair /* p */); | |
| 6 | extern void incx2 (pair /* p */); | |
| 7 | extern void incx3 (pair /* p */); | |
| 8 | extern void incx4 (pair /* p */); | |
| 9 | extern /*@only@*/ pair pair_create (void); | |
| 10 | extern void pair_free (/*@only@*/ /*@out@*/ pair /* p */); |