diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2020-12-23 18:23:06 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-02-16 18:37:16 +0000 |
| commit | 5f8d562181bce7c0d11eae0a597e3f534966e42c (patch) | |
| tree | dbb6388af58c733905dac0d3e6c47b2917dc00f8 /lib/Expr | |
| parent | b2157ca524c7c6ab8074f05b4c735a4fc237eb7d (diff) | |
| download | klee-5f8d562181bce7c0d11eae0a597e3f534966e42c.tar.gz | |
Executor: remove obsolete special case for __cxa_{re,}throw
__cxa_throw and __cxa_rethrow were not handled by special function handlers in the final version of #966 (which introduced support for C++ exception handling)
Diffstat (limited to 'lib/Expr')
0 files changed, 0 insertions, 0 deletions