diff options
Diffstat (limited to 'tools/bugpoint/BugDriver.cpp')
-rw-r--r-- | tools/bugpoint/BugDriver.cpp | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/tools/bugpoint/BugDriver.cpp b/tools/bugpoint/BugDriver.cpp index 0343f63..c204ab4 100644 --- a/tools/bugpoint/BugDriver.cpp +++ b/tools/bugpoint/BugDriver.cpp @@ -82,19 +82,3 @@ bool BugDriver::run() { else return debugMiscompilation(); } - - -/// debugMiscompilation - This method is used when the passes selected are not -/// crashing, but the generated output is semantically different from the -/// input. -/// -bool BugDriver::debugMiscompilation() { - std::cout << "*** Debugging miscompilation!\n"; - std::cerr << "Sorry, bugpoint cannot debug a miscompilation yet!\n"; - - // If no reference output was specified, run the program without optimizations - // to get a reference output. - // - - return true; -} |