1  /* PR middle-end/31490 */
       2  /* { dg-do compile } */
       3  /* { dg-require-named-sections "" } */
       4  /* { dg-require-effective-target ptr32plus } */
       5  
       6  __extension__ typedef __UINTPTR_TYPE__ uintptr_t;
       7  
       8  int cpu (void *attr) {}
       9  const uintptr_t x __attribute__((section("foo"))) =  (uintptr_t)&cpu;
      10  const uintptr_t g __attribute__((section("foo"))) = 0;