aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tools/opt/opt.cpp1
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;
}