1  /* { dg-do compile } */ 
       2  /* { dg-options "-O2 -fdump-tree-vrp1-stats -fdump-tree-dom2-stats" } */
       3  
       4  void foo();
       5  void bla();
       6  void bar();
       7  
       8  /* Avoid threading in this case, in order to avoid creating loop with
       9     multiple entries.  */
      10  
      11  void dont_thread_4 (int a, int nfirst)
      12  {
      13    int i = 0;
      14    int first;
      15  
      16    if (a)
      17      first = 0;
      18    else
      19      first = 1;
      20  
      21    do
      22      {
      23        if (first)
      24  	foo ();
      25        else
      26  	bar ();
      27  
      28        first = nfirst;
      29        bla ();
      30      } while (i++ < 100);
      31  }
      32  
      33  /* { dg-final { scan-tree-dump-not "Jumps threaded" "vrp1"} } */
      34  /* { dg-final { scan-tree-dump-not "Jumps threaded" "dom2"} } */