| /* Test __regio_symbol diagnostics for unsupported declarations. */ |
| |
| /* { dg-do compile } */ |
| /* { dg-options "-O1" } */ |
| |
| #include <stdint.h> |
| |
| volatile __regio_symbol |
| uint32_t __R30; /* { dg-error "variables in '__regio_symbol' address space must be declared 'extern'" } */ |
| |
| extern __regio_symbol |
| uint32_t __R31; /* { dg-error "variables in '__regio_symbol' address space must be declared 'volatile'" } */ |
| |
| extern volatile |
| __regio_symbol uint32_t __R32; /* { dg-error "register name '__R32' not recognized in '__regio_symbol' address space" } */ |
