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 
dont_thread_4(int a,int nfirst)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"} } */
35