예제 #1
0
파일: pr63783-2.c 프로젝트: 0day-ci/gcc
int
main (void)
{
  decision_result = 1;
  buggy(1);
  assert (truecount == 0);
  return 0;
}
예제 #2
0
int main (void)
{
  unsigned int param;
  unsigned int borrow;
  param = 1;
  borrow = buggy (&param);

  if (param != 0)
    abort ();
  if (borrow + 1 != 0)
    abort ();
  return 0;
}