diff options
-rw-r--r-- | tools/opt/opt.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/opt/opt.cpp b/tools/opt/opt.cpp index d5d6f779db..44b35d3c86 100644 --- a/tools/opt/opt.cpp +++ b/tools/opt/opt.cpp @@ -263,5 +263,6 @@ int main(int argc, char **argv) { } catch (...) { cerr << argv[0] << ": Unexpected unknown exception occurred.\n"; } + llvm_shutdown(); return 1; } |