diff options
| author | Martijn Thé <martijn@pebble.com> | 2015-07-31 13:46:59 +0200 |
|---|---|---|
| committer | Jiri Slaby <jslaby@suse.cz> | 2017-02-10 15:49:59 +0100 |
| commit | 37ce2ef0320c69c6765ad3c0f3b7d4f705c45262 (patch) | |
| tree | 942c230f0149c68f5a92590a6965bb5b632f5ad4 /test/Feature | |
| parent | de7e2b94a5f9ee05496e6a65e7370d7270b38799 (diff) | |
| download | klee-37ce2ef0320c69c6765ad3c0f3b7d4f705c45262.tar.gz | |
test: fix broken Vararg test
The helper function had int return type, while no value was being returned. Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Diffstat (limited to 'test/Feature')
| -rw-r--r-- | test/Feature/Vararg.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/Vararg.c b/test/Feature/Vararg.c index 398ba6f8..82fbe4f1 100644 --- a/test/Feature/Vararg.c +++ b/test/Feature/Vararg.c @@ -12,7 +12,7 @@ struct triple { int first, second, third; }; -int test1(int x, ...) { +void test1(int x, ...) { va_list ap; va_start(ap, x); int i32 = va_arg(ap, int); |