diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-17 01:00:09 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-17 01:00:09 +0100 |
commit | 1e55dbed260fffac3e392ac61604f401d64980f4 (patch) | |
tree | 0e0e3c64bad7b63e3486171d536c2cb90462bb03 | |
parent | f934193608415cff796694b5500f95e7b2e0fd17 (diff) | |
parent | e1ec9736ab7feeacb6829193bdc53b32248e3c3e (diff) | |
download | sparse-1e55dbed260fffac3e392ac61604f401d64980f4.tar.gz |
Merge branch 'top-level-init' into next
* fix testcase with non-constant initializer
-rw-r--r-- | validation/nocast.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/validation/nocast.c b/validation/nocast.c index 6c5da968..2113227c 100644 --- a/validation/nocast.c +++ b/validation/nocast.c @@ -26,8 +26,8 @@ static ulong_nc_t good_deref(ulong_nc_t *t) /* assign value */ static ulong_nc_t t; -static ulong_nc_t good_assign_self = t; -static unsigned long good_assign_sametype = t; + + /* assign pointer */ static ulong_nc_t *good_ptr = &t; @@ -150,6 +150,12 @@ static unsigned long bad_fromcast(ulong_nc_t v) return (unsigned long) v; } +static void assign_value(void) +{ + ulong_nc_t good_assign_self = t; + unsigned long good_assign_sametype = t; +} + /* * check-name: nocast.c * |