test/speccollision.c

   1 /*
   2  * Origin: https://bugs.debian.org/626552
   3  *
   4  * Specification keywords should be treated as regular Id when specification
   5  * keyword not expected.
   6  */
   7
   8 bool dependent;
   9
  10 int f(char *out, int * fallthrough)
  11     /*@globals undef dependent@*/
  12     /*@requires maxSet(out) >= 1;@*/
  13     /*@ensures maxSet(fallthrough) >= 0;@*/
  14     ;
  15
  16 int g(void) /*@warn out "blah blah blah ..." @*/ ;
  17