
int main()
{
  unsigned int top;
  unsigned int start = 0;
  unsigned int count = 0;

  if(start + count > top) {
     return 1;
  }

  return 0;
}

// PARAM: --enable ana.int.interval
int main()
{
  unsigned int top;
  unsigned int start = 0;
  unsigned int count = 0;

  if(start + count > top) {
     return 1;
  }

  return 0;
}

Enable interval analysis for test
Enable interval analysis for test
