1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
# define __A __attribute__((noderef))
struct x {
int a;
int b;
};
struct y {
int a[2];
};
static void h(void)
{
char __A *p;
char __A * * q1;
char * __A * q2;
struct x __A *xp;
struct x __A x;
int __A *q;
int __A *r;
struct y __A *py;
q1 = &p;
q2 = &p; /* This should complain */
r = &*q;
r = q;
r = &*(q+1); /* This should NOT complain */
r = q+1;
r = &xp->a; /* This should NOT complain */
r = &xp->b;
r = &(*xp).a;
r = &(*xp).b;
r = &x.a;
r = &x.b;
r = py->a;
r = py->a+1;
r = &py->a[0];
}
/*
* check-name: noderef attribute
*
* check-error-start
noderef.c:24:5: warning: incorrect type in assignment (different modifiers)
noderef.c:24:5: expected char *[noderef] *q2
noderef.c:24:5: got char [noderef] **<noident>
* check-error-end
*/
|
