diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-02-10 15:37:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-10 15:37:10 +0000 |
| commit | 901ff8353b61f3c0fc5b060b35af61880307d28b (patch) | |
| tree | 05ae4d83b023891c48cb8afc7b511066a455431e | |
| parent | f2abb4720571cf4905ff9e8dbc5d0cec02b85c08 (diff) | |
| parent | 37ce2ef0320c69c6765ad3c0f3b7d4f705c45262 (diff) | |
| download | klee-901ff8353b61f3c0fc5b060b35af61880307d28b.tar.gz | |
Merge pull request #582 from jirislaby/vararg
Fix Vararg test
| -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); |