1  /* { dg-do compile } */
       2  /* { dg-additional-options "-O2 --param logical-op-non-short-circuit=1 -fdump-tree-threadfull1-details" }  */
       3  /* { dg-final { scan-tree-dump-times "Registering jump thread" 8 "threadfull1" } }  */
       4  
       5  void foo (void);
       6  void bar (void);
       7  void blah (void);
       8  
       9  /* One jump threaded here.  */
      10  
      11  void
      12  baz_1 (int a, int b, int c)
      13  {
      14    if (a && b)
      15      foo ();
      16    if (!b && c)
      17      bar ();
      18  }
      19  
      20  /* One jump threaded here.  */
      21  
      22  void
      23  baz_2 (int a, int b, int c)
      24  {
      25    if (a && b)
      26      foo ();
      27    if (b || c)
      28      bar ();
      29  }
      30  
      31  /* One jump threaded here.  */
      32  
      33  void
      34  baz_3 (int a, int b, int c)
      35  {
      36    if (a && b > 10)
      37      foo ();
      38    if (b < 5 && c)
      39      bar ();
      40  }
      41  
      42  /* Two jumps threaded here.  */
      43  
      44  void
      45  baz_4 (int a, int b, int c)
      46  {
      47    if (a && b)
      48      {
      49        foo ();
      50        if (c)
      51          bar ();
      52      }
      53    if (b && c)
      54      blah ();
      55  }
      56  
      57  /* Two jumps threaded here.  */
      58  
      59  void
      60  baz_5 (int a, int b, int c)
      61  {
      62    if (a && b)
      63      {
      64        foo ();
      65        if (c)
      66          bar ();
      67      }
      68    if (!b || !c)
      69      blah ();
      70  }
      71  
      72  /* One jump threaded here.  */
      73  
      74  void
      75  baz_6 (int a, int b, int c)
      76  {
      77    if (a == 39 && b == 41)
      78      foo ();
      79    if (c == 12 || b == 41)
      80      bar ();
      81  }