test/impabstract.c

   1 typedef int mint;  /* Concrete in impabstract.lcl */
   2 typedef /*@concrete@*/ int cint; /* Abstract in impabstract.lcl */
   3
   4 int f (mint m, cint c)
   5 {
   6   if (c > 3)
   7     {
   8       return c;
   9     }
  10
  11   if (m < 2)
  12     {
  13       return m;
  14     }
  15
  16   return 3;
  17 }