diff options
| -rw-r--r-- | tools/bugpoint/bugpoint.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/bugpoint/bugpoint.cpp b/tools/bugpoint/bugpoint.cpp index 543512ce62..20f0e99a84 100644 --- a/tools/bugpoint/bugpoint.cpp +++ b/tools/bugpoint/bugpoint.cpp @@ -88,6 +88,14 @@ int main(int argc, char **argv) { std::cerr << "Tool execution error: " << TEE.what() << '\n'; } catch (const std::string& msg) { std::cerr << argv[0] << ": " << msg << "\n"; + } catch (const std::bad_alloc &e) { + std::cerr << "Oh no, a bugpoint process ran out of memory!\n" + "To increase the allocation limits for bugpoint child\n" + "processes, use the -mlimit option.\n"; + } catch (const std::exception &e) { + std::cerr << "Whoops, a std::exception leaked out of bugpoint: " + << e.what() << "\n" + << "This is a bug in bugpoint!\n"; } catch (...) { std::cerr << "Whoops, an exception leaked out of bugpoint. " << "This is a bug in bugpoint!\n"; |