test/commentcmd.c

   1 typedef int abst1, abst2; /* 1, 2. Mutable abstract type abst1 declared without pointer ... */
   2 typedef int abst3; /* 3. Mutable abstract type abst3 declared without pointer ... */
   3
   4 int main (void)
   5 {
   6   int i = 1;
   7   abst1 a1; abst2 a2; abst3 a3;
   8
   9    /*@access abst1,abst3*/
  10 /* 10 */ a1 = (abst1)i; /* ok */
  11          a2 = (abst2)i; /* 4. Cast to abstract type abst2: (abst2)i */
  12          a3 = (abst3)i; /* ok */
  13
  14    /*@noaccess abst1,abst3*/
  15
  16 /* 16 */ a1 = (abst1)i; /* 5. Cast to abstract type abst1: (abst1)i */
  17          a2 = (abst2)i; /* 6. Cast to abstract type abst2: (abst2)i */
  18          a3 = (abst3)i; /* 7. Cast to abstract type abst3: (abst3)i */
  19
  20    /*@access abst2*/
  21
  22 /* 22 */ a1 = (abst1)i; /* 8. Cast to abstract type abst1: (abst1)i */
  23          a2 = (abst2)i; /* ok */
  24          a3 = (abst3)i; /* 9. Cast to abstract type abst3: (abst3)i */
  25
  26    /*@access abst1,abst3*/
  27
  28 /* 28 */ a1 = (abst1)i; /* ok */
  29          a2 = (abst2)i; /* ok */
  30          a3 = (abst3)i; /* ok */
  31
  32    /*@noaccess abst1*/
  33
  34 /* 34 */ a1 = (abst1)i; /* 10. Cast to abstract type abst1: (abst1)i */
  35          a2 = (abst2)i; /* ok */
  36          a3 = (abst3)i; /* ok */
  37
  38    /*@noaccess abst2*/
  39
  40 /* 40 */ a1 = (abst1)i; /* 11. Cast to abstract type abst1: (abst1)i */
  41          a2 = (abst2)i; /* 12. Cast to abstract type abst2: (abst2)i */
  42          a3 = (abst3)i; /* ok */
  43
  44    /*@noaccess abst3*/
  45
  46 /* 46 */ a1 = (abst1)i; /* 13. Cast to abstract type abst1: (abst1)i */
  47          a2 = (abst2)i; /* 14. Cast to abstract type abst2: (abst2)i */
  48          a3 = (abst3)i; /* 15. Cast to abstract type abst3: (abst3)i */
  49
  50   return 3;
  51 }