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 
cpu(void * attr)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;
11