1  /* { dg-do compile { target freorder } } */
       2  /* { dg-options "-O2 -fdump-tree-optimized-details-blocks -fdump-rtl-bbpart-details-blocks -freorder-blocks-and-partition" } */
       3  volatile int v;
       4  void bar (void) __attribute__((leaf, cold));
       5  void baz (int *);
       6  
       7  void
       8  foo (int x, int y, int z)
       9  {
      10    static int f __attribute__((section ("mysection")));
      11    f = 1;
      12    if (__builtin_expect (x, 0))
      13    if (__builtin_expect (y, 0))
      14    if (__builtin_expect (z, 0))
      15      {
      16        f = 2;
      17        bar ();
      18        v += 1;
      19        v *= 2;
      20        v /= 2;
      21        v -= 1;
      22        v += 1;
      23        v *= 2;
      24        v /= 2;
      25        v -= 1;
      26        v += 1;
      27        v *= 2;
      28        v /= 2;
      29        v -= 1;
      30        v += 1;
      31        v *= 2;
      32        v /= 2;
      33        v -= 1;
      34        v += 1;
      35        v *= 2;
      36        v /= 2;
      37        v -= 1;
      38        v += 1;
      39        v *= 2;
      40        v /= 2;
      41        v -= 1;
      42        v += 1;
      43        v *= 2;
      44        v /= 2;
      45        v -= 1;
      46        v += 1;
      47        v *= 2;
      48        v /= 2;
      49        v -= 1;
      50        f = 3;
      51        __builtin_abort ();
      52      }
      53    f = 4;
      54    f = 5;
      55    baz (&f);
      56  }
      57  /* { dg-final { scan-tree-dump-times "Invalid sum" 0 "optimized"} } */
      58  /* { dg-final { scan-tree-dump-times "count 0 .precise.," 1 "optimized"} } */
      59  /* { dg-final { scan-rtl-dump-times "COLD_PARTITION" 1 "bbpart"} } */