test/commentchar.c

   1 int f (void) /*#modifies x#*/;
   2
   3 /*#-commentchar %#*/
   4
   5 /*@ignore@*/
   6 int x = 'c'; /* not ignored */
   7 /*@end@*/
   8
   9 /*%ignore%*/
  10 int x = 'c'; /* is ignored */
  11 /*%end%*/
  12
  13 /*%-commentchar @%*/
  14 /*@-commentchar5*/
  15 /*@=commentchar*/