1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-threadfull1-details --param logical-op-non-short-circuit=1" } */
       3  
       4  // Copied from ssa-dom-thread-11.c
       5  
       6  static int *bb_ticks;
       7  extern void frob (void);
       8  void
       9  mark_target_live_regs (int b, int block, int bb_tick)
      10  {
      11    if (b == block && b != -1 && bb_tick == bb_ticks[b])
      12        return;
      13    if (b != -1)
      14      frob ();
      15  }
      16  
      17  /* When the first two conditionals in the first IF are true, but
      18     the third conditional is false, then there's a jump threading
      19     opportunity to bypass the second IF statement.  */
      20  /* { dg-final { scan-tree-dump-times "Registering.*jump thread" 1 "threadfull1"} } */