/* { dg-do compile } */
/* { dg-options "-O -Wmaybe-uninitialized -fdump-tree-uninit1" } */

extern unsigned bar (void);
extern void quux (void);
int z;
unsigned foo (unsigned v, int y, int w)
{
  unsigned u;
  if (v != 1)
    u = bar ();

  // Prevent the "dom" pass from changing the CFG layout based on the inference
  // 'if (v != 1) is false then (v != 2) is true'.  (Now it would have to
  // duplicate the loop in order to do so, which is deemed expensive.)
  for (int i = 0; i < 10; i++)
    quux ();

  // This variantion from uninit-pred-11.c caused compute_control_dep_chain
  // to run into a defect, producing z != 0 && v != 1, omitting !(i<10)
  // from the path predicate
  if (w)
    {
      if (y)
	z = 1;
      if (v != 1)
	return u;       /* { dg-bogus "may be used uninitialized" } */
    }

  return 0;
}

/* Make sure predicate analysis picked up the loop exit condition.  */
/* { dg-final { scan-tree-dump "AND \\(NOT \\((ivtmp|doloop)" "uninit1" } } */