Mercurial > illumos > git > illumos-gate
view usr/src/tools/smatch/src/validation/restrict.c @ 19241:79022555a4a9
11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>
author | John Levon <john.levon@joyent.com> |
---|---|
date | Mon, 11 Nov 2019 16:23:50 +0000 |
parents | |
children |
line wrap: on
line source
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 */