Fixed all /*@i...@*/ tags (except 1).

[splint.git] / test / ansireserved2.c

typedef struct _s1
{
  int x;
} s1;