1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -fharden-compares -fno-inline -fno-ipa-pure-const" } */
       3  
       4  __attribute__ ((pure, returns_twice)) int
       5  bar (int);
       6  
       7  int
       8  quux (void)
       9  {
      10    return 0;
      11  }
      12  
      13  int
      14  foo (short int x)
      15  {
      16    x = !x;
      17    bar (quux ());
      18  
      19    return x;
      20  }