test/tq.h

   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