// { dg-do compile }
// { dg-options "-Wall" }

// Copyright (C) 2003 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 30 Dec 2003 <nathan@codesourcery.com>


// PR c++/13507, spurious warning due to attribute clobbering
extern "C" {
  extern int printf (__const char *__restrict __format, ...) throw ();
  extern int scanf (__const char *__restrict __format, ...) throw ();
}

void foo(unsigned int x)
{
  printf ("%d\n", x);
}