diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-28 17:59:15 +0100 |
---|---|---|
committer | Jiri Slaby <jirislaby@gmail.com> | 2017-02-28 17:59:15 +0100 |
commit | 6d0c409ce885a38979f3bcb8d73ebc8bacc0dcfa (patch) | |
tree | a70f036519036e56f108eaa9eef4158ae10cf963 /unittests | |
parent | e21bf6f653b9c602fe21b74ff7c389aa2430b386 (diff) | |
download | klee-6d0c409ce885a38979f3bcb8d73ebc8bacc0dcfa.tar.gz |
Module: simplify is_object checks
object::Binary has isObject method, which can be used to check whether it is an object::ObjectFile. Use that, since dyn_casting of object::Binary is not allowed in newer LLVMs: lib/Module/ModuleUtil.cpp:304:78: error: cannot convert ‘llvm::object::ObjectFile’ to ‘llvm::object::ObjectFile*’ in initialization else if (object::ObjectFile *o = dyn_cast<object::ObjectFile>(child.get())) ^ Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'unittests')
0 files changed, 0 insertions, 0 deletions