validation/restrict.c

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 (incompatible argument 1 (different modifiers)):
restrict.c:11:6:    void extern [addressable] [toplevel] f02( ... )
restrict.c:3:6: note: previously declared as:
restrict.c:3:6:    void extern [addressable] [toplevel] f02( ... )
restrict.c:12:6: error: symbol 'f03' redeclared with different type (incompatible argument 1 (different modifiers)):
restrict.c:12:6:    void extern [addressable] [toplevel] f03( ... )
restrict.c:4:6: note: previously declared as:
restrict.c:4:6:    void extern [addressable] [toplevel] f03( ... )
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
 */