1 // RUN: %clang_cc1 -x c -triple bpf-pc-linux-gnu -dwarf-version=4 -fsyntax-only -verify %s
2 
3 #define __reloc__ __attribute__((preserve_access_index))
4 #define __err_reloc__ __attribute__((preserve_access_index(0)))
5 
6 struct t1 {
7   int a;
8   int b[4];
9   int c:1;
10 } __reloc__;
11 
12 union t2 {
13   int a;
14   int b[4];
15   int c:1;
16 } __reloc__;
17 
18 struct t3 {
19   int a;
20 } __err_reloc__; // expected-error {{'preserve_access_index' attribute takes no arguments}}
21 
22 struct t4 {
23   union {
24     int a;
25     char b[5];
26   };
27   struct {
28     int c:1;
29   } __reloc__;
30   int d;
31 } __reloc__;
32 
33 struct __reloc__ p;
34 struct __reloc__ q;
35 struct p {
36   int a;
37 };
38 
39 int a __reloc__; // expected-error {{'preserve_access_index' attribute only applies to structs, unions, and classes}}
40 struct s *p __reloc__; // expected-error {{'preserve_access_index' attribute only applies to structs, unions, and classes}}
41 
invalid1(const int __reloc__ * arg)42 void invalid1(const int __reloc__ *arg) {} // expected-error {{'preserve_access_index' attribute only applies to structs, unions, and classes}}
invalid2()43 void invalid2() { const int __reloc__ *arg; } // expected-error {{'preserve_access_index' attribute only applies to structs, unions, and classes}}
valid3(struct t4 * arg)44 int valid3(struct t4 *arg) { return arg->a + arg->b[3] + arg->c + arg->d; }
valid4(void * arg)45 int valid4(void *arg) {
46   struct local_t { int a; int b; } __reloc__;
47   return ((struct local_t *)arg)->b;
48 }
49