]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | typedef /*@abstract@*/ /*@mutable@*/ int *tam; |
2 | typedef /*@abstract@*/ /*@immutable@*/ int *tai; | |
3 | typedef /*@abstract@*/ /*@immutable@*/ int *tmixm; /* 1. inconsistently declared as immutable */ | |
4 | typedef /*@abstract@*/ /*@immutable@*/ int *tmixa; /* 2. inconsistently declared as abstract type */ | |
5 | typedef /*@abstract@*/ /*@mutable@*/ int *tmixi; /* 3. inconsistently declared as mutable */ | |
6 | typedef /*@mutable@*/ int *tm; | |
7 | typedef /*@immutable@*/ int *ti; | |
8 |