(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
ssa-dom-thread-1.c
       1  /* { dg-do compile } */ 
       2  /* { dg-options "-O2 -fno-tree-vrp -fdisable-tree-threadfull1 -fdump-tree-dom2-details" } */
       3  void t(void);
       4  void q(void);
       5  void q1(void);
       6  void
       7  threading(int a,int b)
       8  {
       9  	if (a>b)
      10  	  t();
      11  	else
      12  	  q();
      13  	if (a<=b)
      14  	  q1();
      15  }
      16  /* We should thread the jump twice and elliminate it.  */
      17  /* { dg-final { scan-tree-dump-times "Threaded" 2 "dom2"} } */