diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-25 08:37:28 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-02-21 21:32:52 +0000 |
| commit | 17705a0ecea3d5c6ad74587cc76adf92e6e8be6d (patch) | |
| tree | f8993f979bc0b6e897badd8eb4946b86504bcc5c /include | |
| parent | 8090de20463b4eff4f0397c3fa386c72eb4f0cad (diff) | |
| download | klee-17705a0ecea3d5c6ad74587cc76adf92e6e8be6d.tar.gz | |
Add test case that causes an assertion failure in `klee::getDirectCallTarget(llvm::CallSite)`.
The problem is that it doesn't handle bitcasted functions that call a weak alias.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions