diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-01-15 10:35:19 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 13:31:07 +0100 |
| commit | 6f5537fc9080c03bc1c9f7e8e0d6bb93c5b03e2d (patch) | |
| tree | 53915051372e8c4a7725fedb75ae422fd6ecb168 /lib | |
| parent | 54851ed24b9d8a8937d7bf7d02ee6020ef770204 (diff) | |
| download | klee-6f5537fc9080c03bc1c9f7e8e0d6bb93c5b03e2d.tar.gz | |
llvm5: avoid ++ on function->arg_begin()
Starting with llvm 5, arguments of a function are not an iterator, but
an array. So they cannot be incremented in-place. Add a local auto
variable and increment that.
Otherwise we see:
../tools/klee/main.cpp:661:23: error: expression is not assignable
Value *oldArgv = &*(++mainFn->arg_begin());
^ ~~~~~~~~~~~~~~~~~~~
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions