diff options
| author | Jeffrey Yasskin <jyasskin@google.com> | 2010-03-19 00:09:28 +0000 |
|---|---|---|
| committer | Jeffrey Yasskin <jyasskin@google.com> | 2010-03-19 00:09:28 +0000 |
| commit | c3e6859d8dc9014fee8023497153add9a2148f22 (patch) | |
| tree | 17e82c7006d8846d002afee47fc6b0229d5151e3 /tools/bugpoint/OptimizerDriver.cpp | |
| parent | f30187a36324fb75042d9ffd20c3fb70aff7763d (diff) | |
| download | external_llvm-c3e6859d8dc9014fee8023497153add9a2148f22.zip external_llvm-c3e6859d8dc9014fee8023497153add9a2148f22.tar.gz external_llvm-c3e6859d8dc9014fee8023497153add9a2148f22.tar.bz2 | |
Bugpoint's default memory limit (100MB) was too low for valgrind, so
this patch raises the default to 800MB when valgrind's active. 800
was chosen semi-arbitrarily.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@98905 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools/bugpoint/OptimizerDriver.cpp')
| -rw-r--r-- | tools/bugpoint/OptimizerDriver.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/bugpoint/OptimizerDriver.cpp b/tools/bugpoint/OptimizerDriver.cpp index 9f712e0..3a6149b 100644 --- a/tools/bugpoint/OptimizerDriver.cpp +++ b/tools/bugpoint/OptimizerDriver.cpp @@ -45,8 +45,6 @@ namespace { // ChildOutput - This option captures the name of the child output file that // is set up by the parent bugpoint process cl::opt<std::string> ChildOutput("child-output", cl::ReallyHidden); - cl::opt<bool> UseValgrind("enable-valgrind", - cl::desc("Run optimizations through valgrind")); } /// writeProgramToFile - This writes the current "Program" to the named bitcode |