diff options
| -rw-r--r-- | tools/bugpoint/BugDriver.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/bugpoint/BugDriver.cpp b/tools/bugpoint/BugDriver.cpp index 043863a354..e4f66ed5b3 100644 --- a/tools/bugpoint/BugDriver.cpp +++ b/tools/bugpoint/BugDriver.cpp @@ -76,6 +76,10 @@ BugDriver::BugDriver(const char *toolname, bool find_bugs, BugDriver::~BugDriver() { delete Program; + if (Interpreter != SafeInterpreter) + delete Interpreter; + delete SafeInterpreter; + delete gcc; } |