test/flags.c

   1 int x = 'c';
   2
   3 /*@-linelen 25@*/
   4
   5 int y = 'c';
   6
   7 /*@+linelen 13@*/
   8 /*@+internalnamelen 2@*/
   9
  10 int xx1;
  11 int xx2;
  12
  13 /*@=linelen 25@*/
  14 /*@-linelen 70@*/
  15 /*@-dump asdf@*/
  16 /*@-macrovarprefix@*/
  17 /*@-macrovarprefix    @*/
  18 /*@-linelen asdf@*/