diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-02-21 22:23:52 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-21 22:23:52 +0000 |
| commit | 62ee2e574b9f920e6679c91da25f8941552277d9 (patch) | |
| tree | b476d2df666340ad26f63d8fd3c4e07b2a248f11 /lib/Solver/ConstantDivision.cpp | |
| parent | 27f414cc48bf086552ee4cba7784354c162a8301 (diff) | |
| parent | 70715151746a24c4c6919292956111b00fcd3a26 (diff) | |
| download | klee-62ee2e574b9f920e6679c91da25f8941552277d9.tar.gz | |
Merge pull request #514 from delcypher/fix_klee_get_direct_call_bitcast_weak_alias
Fix assertion failure when klee::getDirectCallTarget() is used on call to bitcasted weak alias
Diffstat (limited to 'lib/Solver/ConstantDivision.cpp')
0 files changed, 0 insertions, 0 deletions