1  /* PR target/85511 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-Wimplicit-function-declaration" } */
       4  
       5  unsigned int
       6  foo (void)
       7  {
       8    return __builtin_ia32_readeflags_u32 ();	/* { dg-warning "implicit declaration of function" "" { target { ! ia32 } } } */
       9  }
      10  
      11  void
      12  bar (unsigned int x)
      13  {
      14    __builtin_ia32_writeeflags_u32 (x);		/* { dg-warning "implicit declaration of function" "" { target { ! ia32 } } } */
      15  }