1  /* { dg-do compile } */
       2  
       3  __attribute__ ((returns_twice)) int
       4  bp (int);
       5  
       6  __attribute__ ((noreturn)) int
       7  cb (void)
       8  {
       9    return bp (cb ()); /* { dg-warning "declared .noreturn." } */
      10  }