noexpand always false.

[splint.git] / test / tests2.4 / flagequal.c

int f (void) {
  /*@-type@*/
  int x1 = 'a';
  /*@=type@*/
  int x2 = 'b';
}