1  /* An executable version of branch-2.c.  */
       2  /* { dg-do run } */
       3  
       4  #include "branch-helper.h"
       5  
       6  void __attribute__((noinline))
       7  foo (volatile int *x)
       8  {
       9    if (__builtin_expect (*x == 0, 1))
      10      OCCUPY_0x1fff8;
      11  }
      12  
      13  int
      14  main (void)
      15  {
      16    int x = 0;
      17    int y = 1;
      18  
      19    foo (&x);
      20    foo (&y);
      21  
      22    return 0;
      23  }