blob: 92bfdae883080991dc2c19e32880e80659870902 [file] [log] [blame]
void f00(void *restrict dst);
void f01(void *restrict *dst);
void f02(void *restrict *dst);
void f03(void *restrict *dst);
void *restrict rp;
void * up;
void f00(void *dst) { } /* check-should-pass */
void f01(typeof(&rp) dst) { } /* check-should-pass */
void f02(void **dst) { } /* check-should-fail */
void f03(typeof(&up) dst) { } /* check-should-fail */
void foo(void)
{
rp = up; /* check-should-pass */
up = rp; /* check-should-pass */
}
void ref(void)
{
void *const qp;
void * up;
extern void *const *pqp;
extern void **pup;
pqp = &qp; /* check-should-pass */
pqp = &up; /* check-should-pass */
pqp = pup;
pup = &up; /* check-should-pass */
pup = &qp; /* check-should-fail */
pup = pqp; /* check-should-fail */
}
void bar(void)
{
extern void *restrict *prp;
extern void **pup;
prp = &rp; /* check-should-pass */
prp = &up; /* check-should-pass */
prp = pup;
pup = &up; /* check-should-pass */
pup = &rp; /* check-should-fail */
pup = prp; /* check-should-fail */
}
void baz(void)
{
extern typeof(&rp) prp;
extern typeof(&up) pup;
prp = &rp; /* check-should-pass */
prp = &up; /* check-should-pass */
prp = pup;
pup = &up; /* check-should-pass */
pup = &rp; /* check-should-fail */
pup = prp; /* check-should-fail */
}
/*
* check-name: restrict qualifier
* check-command: sparse -Wno-decl $file;
*
* check-error-start
restrict.c:11:6: error: symbol 'f02' redeclared with different type (originally declared at restrict.c:3) - incompatible argument 1 (different modifiers)
restrict.c:12:6: error: symbol 'f03' redeclared with different type (originally declared at restrict.c:4) - incompatible argument 1 (different modifiers)
restrict.c:33:13: warning: incorrect type in assignment (different modifiers)
restrict.c:33:13: expected void **extern [assigned] pup
restrict.c:33:13: got void *const *
restrict.c:34:13: warning: incorrect type in assignment (different modifiers)
restrict.c:34:13: expected void **extern [assigned] pup
restrict.c:34:13: got void *const *extern [assigned] pqp
restrict.c:48:13: warning: incorrect type in assignment (different modifiers)
restrict.c:48:13: expected void **extern [assigned] pup
restrict.c:48:13: got void *restrict *
restrict.c:49:13: warning: incorrect type in assignment (different modifiers)
restrict.c:49:13: expected void **extern [assigned] pup
restrict.c:49:13: got void *restrict *extern [assigned] prp
restrict.c:63:13: warning: incorrect type in assignment (different modifiers)
restrict.c:63:13: expected void **extern [assigned] pup
restrict.c:63:13: got void *restrict *
restrict.c:64:13: warning: incorrect type in assignment (different modifiers)
restrict.c:64:13: expected void **extern [assigned] pup
restrict.c:64:13: got void *restrict *extern [assigned] prp
* check-error-end
*/