1  /* PR debug/83480 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -g -fselective-scheduling2 -ftree-vectorize -freorder-blocks-algorithm=simple -fnon-call-exceptions -fno-guess-branch-probability -fno-peephole2 -fno-tree-sink -fno-tree-scev-cprop" } */
       4  
       5  signed char a, b;
       6  
       7  void
       8  foo (int x, int y)
       9  {
      10    for (a = 1; a != 0; ++a)
      11      ;
      12  
      13    for (;;)
      14      {
      15        int c;
      16  
      17        b %= (y != 0 && a != 0) + 1;
      18        if (a != 0)
      19  	y = b;
      20  
      21        for (c = 0; c < 50; ++c)
      22  	++x;
      23  
      24        if (a < 1)
      25  	{
      26  	  while (x != 0)
      27  	    ;
      28  
      29  	  a /= 0;	/* { dg-warning "division by zero" } */
      30  	}
      31      }
      32  }