diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-17 12:05:51 +0200 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2018-02-14 12:49:27 -0500 |
| commit | 1bb9f3af1a960745f00dfd8df0412fd0f5c174ca (patch) | |
| tree | 3d5c384e1c953ccc8fdf3a9504b61bebd1113325 | |
| parent | 80996430d84300ca547f8406e7f7c09912462f6b (diff) | |
| download | sparse-dev-1bb9f3af1a960745f00dfd8df0412fd0f5c174ca.tar.gz | |
fix: missing evaluate with '-include' : add testcase
Reported-by: Jason A. Donenfeld <Jason@zx2c4.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| -rw-r--r-- | validation/include-eval.c | 7 | ||||
| -rw-r--r-- | validation/include-eval.inc | 12 |
2 files changed, 19 insertions, 0 deletions
diff --git a/validation/include-eval.c b/validation/include-eval.c new file mode 100644 index 00000000..bf9bf63f --- /dev/null +++ b/validation/include-eval.c @@ -0,0 +1,7 @@ +/* nothing */ + +/* + * check-name: include-eval.c + * check-command: sparse -include ./include-eval.inc $file + * check-known-to-fail + */ diff --git a/validation/include-eval.inc b/validation/include-eval.inc new file mode 100644 index 00000000..e2561ca4 --- /dev/null +++ b/validation/include-eval.inc @@ -0,0 +1,12 @@ +typedef unsigned long long_t; + +inline +static unsigned int ok(void) +{ + return sizeof(long_t); +} + +static unsigned int ko(void) +{ + return sizeof(long_t); +} |