Pushed back constraintResolve.c to the previous version.

[splint.git] / test / csyntax13.c

/*@-varuse*/
typedef int isr_t;
typedef int isrs;

int f()
{
  isr_t isrs;
  {
    isr_t isrs[3];
  }
  return 3;
}