diff options
| author | Richard Osborne <richard@xmos.com> | 2012-07-20 10:36:17 +0000 |
|---|---|---|
| committer | Richard Osborne <richard@xmos.com> | 2012-07-20 10:36:17 +0000 |
| commit | a8806629afe28baf41c3b145803e70d114831175 (patch) | |
| tree | 940908d2aa43c5b91b75c912c49f2d3dc53400b9 /klee/test | |
| parent | cba9fc5af6fe6bc23c781465a5ce0e129bb021f3 (diff) | |
Fix assertion in jump threading (PR13405).
GetBestDestForJumpOnUndef() assumes there is at least 1 successor, which isn't
true if the block ends in an indirect branch with no successors. Fix this by
bailing out earlier in this case.
Diffstat (limited to 'klee/test')
0 files changed, 0 insertions, 0 deletions