blob: d136ff0c719260feec4119735db1764e40b391dd [file] [log] [blame]
// RUN: %clang_cc1 -Wno-unused-value -verify %s
#define NODEREF __attribute__((noderef))
struct S {
int a;
int b;
};
struct S2 {
int a[2];
int NODEREF a2[2];
int *b;
int NODEREF *b2;
struct S *s;
struct S NODEREF *s2;
};
int NODEREF *func(int NODEREF *arg) { // expected-note{{arg declared here}}
int y = *arg; // expected-warning{{dereferencing arg; was declared with a 'noderef' type}}
return arg;
}
void func2(int x) {}
int test() {
int NODEREF *p; // expected-note 34 {{p declared here}}
int *p2;
int x = *p; // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
x = *((int NODEREF *)p2); // expected-warning{{dereferencing expression marked as 'noderef'}}
int NODEREF **q;
int *NODEREF *q2; // expected-note 4 {{q2 declared here}}
// Indirection
x = **q; // expected-warning{{dereferencing expression marked as 'noderef'}}
p2 = *q2; // expected-warning{{dereferencing q2; was declared with a 'noderef' type}}
**q; // expected-warning{{dereferencing expression marked as 'noderef'}}
p = *&*q;
p = **&q;
q = &**&q;
p = &*p;
p = *&p;
p = &(*p);
p = *(&p);
x = **&p; // expected-warning{{dereferencing expression marked as 'noderef'}}
*p = 2; // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
*q = p; // ok
**q = 2; // expected-warning{{dereferencing expression marked as 'noderef'}}
*q2 = p2; // expected-warning{{dereferencing q2; was declared with a 'noderef' type}}
p = p + 1;
p = &*(p + 1);
// Struct member access
struct S NODEREF *s; // expected-note 3 {{s declared here}}
x = s->a; // expected-warning{{dereferencing s; was declared with a 'noderef' type}}
x = (*s).b; // expected-warning{{dereferencing s; was declared with a 'noderef' type}}
p = &s->a;
p = &(*s).b;
// Most things in sizeof() can't actually access memory
x = sizeof(s->a); // ok
x = sizeof(*s); // ok
x = sizeof(s[0]); // ok
x = sizeof(s->a + (s->b)); // ok
x = sizeof(int[++s->a]); // expected-warning{{dereferencing s; was declared with a 'noderef' type}}
// Struct member access should carry NoDeref type information through to an
// enclosing AddrOf.
p2 = &s->a; // expected-warning{{casting to dereferenceable pointer removes 'noderef' attribute}}
p2 = &(*s).a; // expected-warning{{casting to dereferenceable pointer removes 'noderef' attribute}}
x = *&s->a; // expected-warning{{dereferencing expression marked as 'noderef'}}
// Nested struct access
struct S2 NODEREF *s2_noderef; // expected-note 5 {{s2_noderef declared here}}
p = s2_noderef->a; // ok since result is an array in a struct
p = (*s2_noderef).a; // ok since result is an array in a struct
p = s2_noderef->a2; // ok
p = s2_noderef->b; // expected-warning{{dereferencing s2_noderef; was declared with a 'noderef' type}}
p = s2_noderef->b2; // expected-warning{{dereferencing s2_noderef; was declared with a 'noderef' type}}
s = s2_noderef->s; // expected-warning{{dereferencing s2_noderef; was declared with a 'noderef' type}}
s = s2_noderef->s2; // expected-warning{{dereferencing s2_noderef; was declared with a 'noderef' type}}
p = s2_noderef->a + 1;
struct S2 *s2;
p = s2->a;
p = s2->a2;
p = s2->b;
p = s2->b2;
s = s2->s;
s = s2->s2;
&(*(*s2).s2).b;
// Subscript access
x = p[1]; // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
x = q[0][0]; // expected-warning{{dereferencing expression marked as 'noderef'}}
p2 = q2[0]; // expected-warning{{dereferencing q2; was declared with a 'noderef' type}}
p = q[*p]; // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
x = p[*p]; // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
// expected-warning@-1{{dereferencing p; was declared with a 'noderef' type}}
int NODEREF arr[10]; // expected-note 1 {{arr declared here}}
x = arr[1]; // expected-warning{{dereferencing arr; was declared with a 'noderef' type}}
int NODEREF *(arr2[10]);
int NODEREF *elem = *arr2;
int NODEREF(*arr3)[10];
elem = *arr3;
// Combinations between indirection, subscript, and member access
struct S2 NODEREF *s2_arr[10];
struct S2 NODEREF *s2_arr2[10][10];
p = s2_arr[1]->a;
p = s2_arr[1]->b; // expected-warning{{dereferencing expression marked as 'noderef'}}
int *NODEREF *bptr = &s2_arr[1]->b;
x = s2->s2->a; // expected-warning{{dereferencing expression marked as 'noderef'}}
x = s2_noderef->a[1]; // expected-warning{{dereferencing s2_noderef; was declared with a 'noderef' type}}
p = &s2_noderef->a[1];
// Casting to dereferenceable pointer
p2 = p; // expected-warning{{casting to dereferenceable pointer removes 'noderef' attribute}}
p2 = *q; // expected-warning{{casting to dereferenceable pointer removes 'noderef' attribute}}
p2 = q[0]; // expected-warning{{casting to dereferenceable pointer removes 'noderef' attribute}}
s2 = s2_arr[1]; // expected-warning{{casting to dereferenceable pointer removes 'noderef' attribute}}
s2 = s2_arr2[1][1]; // expected-warning{{casting to dereferenceable pointer removes 'noderef' attribute}}
p2 = p, p2 = *q; // expected-warning 2 {{casting to dereferenceable pointer removes 'noderef' attribute}}
// typedefs
typedef int NODEREF *ptr_t;
ptr_t ptr; // expected-note 2 {{ptr declared here}}
ptr_t *ptr2;
*ptr; // expected-warning{{dereferencing ptr; was declared with a 'noderef' type}}
*ptr2;
**ptr2; // expected-warning{{dereferencing expression marked as 'noderef'}}
typedef struct S2 NODEREF *s2_ptr_t;
s2_ptr_t s2_ptr; // expected-note 4 {{s2_ptr declared here}}
s2_ptr->a; // ok since result is an array in a struct
s2_ptr->a2; // ok
s2_ptr->b; // expected-warning{{dereferencing s2_ptr; was declared with a 'noderef' type}}
s2_ptr->b2; // expected-warning{{dereferencing s2_ptr; was declared with a 'noderef' type}}
s2_ptr->s; // expected-warning{{dereferencing s2_ptr; was declared with a 'noderef' type}}
s2_ptr->s2; // expected-warning{{dereferencing s2_ptr; was declared with a 'noderef' type}}
s2_ptr->a + 1;
typedef int(int_t);
typedef int_t NODEREF *(noderef_int_t);
typedef noderef_int_t *noderef_int_nested_t;
noderef_int_nested_t noderef_int_nested_ptr;
*noderef_int_nested_ptr;
**noderef_int_nested_ptr; // expected-warning{{dereferencing expression marked as 'noderef'}}
typedef int_t *(NODEREF noderef_int2_t);
typedef noderef_int2_t *noderef_int2_nested_t;
noderef_int2_nested_t noderef_int2_nested_ptr; // expected-note{{noderef_int2_nested_ptr declared here}}
*noderef_int2_nested_ptr; // expected-warning{{dereferencing noderef_int2_nested_ptr; was declared with a 'noderef' type}}
typedef int_t *(noderef_int3_t);
typedef noderef_int3_t(NODEREF(*(noderef_int3_nested_t)));
noderef_int3_nested_t noderef_int3_nested_ptr; // expected-note{{noderef_int3_nested_ptr declared here}}
*noderef_int3_nested_ptr; // expected-warning{{dereferencing noderef_int3_nested_ptr; was declared with a 'noderef' type}}
// Parentheses
(((*((p))))); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
(*(*(&(p)))); // expected-warning{{dereferencing expression marked as 'noderef'}}
(p[1]); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
(q[0]); // ok
(q[0][0]); // expected-warning{{dereferencing expression marked as 'noderef'}}
(q2[0]); // expected-warning{{dereferencing q2; was declared with a 'noderef' type}}
(q[(*(p))]); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
(p[(*(p))]); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
// expected-warning@-1{{dereferencing p; was declared with a 'noderef' type}}
(*(ptr)); // expected-warning{{dereferencing ptr; was declared with a 'noderef' type}}
(*(ptr2));
(*(*(ptr2))); // expected-warning{{dereferencing expression marked as 'noderef'}}
// Functions
x = *(func(p)); // expected-warning{{dereferencing expression marked as 'noderef'}}
// Casting is ok
q = (int NODEREF **)&p;
q = (int NODEREF **)&p2;
q = &p;
q = &p2;
x = s2->s2->a; // expected-warning{{dereferencing expression marked as 'noderef'}}
// Other expressions
func2(*p); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
func2(*p + 1); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
func2(!*p); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
func2((x = *p)); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
func2((char)(*p)); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
// Other statements
if (*p) {} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
else if (*p) {} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
switch (*p){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
for (*p; *p; *p){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
// expected-warning@-1{{dereferencing p; was declared with a 'noderef' type}}
// expected-warning@-2{{dereferencing p; was declared with a 'noderef' type}}
for (*p; *p;){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
// expected-warning@-1{{dereferencing p; was declared with a 'noderef' type}}
for (*p;; *p){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
// expected-warning@-1{{dereferencing p; was declared with a 'noderef' type}}
for (; *p; *p){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
// expected-warning@-1{{dereferencing p; was declared with a 'noderef' type}}
for (*p;;){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
for (;*p;){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
for (;;*p){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
while (*p){} // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
do {} while (*p); // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
return *p; // expected-warning{{dereferencing p; was declared with a 'noderef' type}}
}