Bugpoint's default memory limit (100MB) was too low for valgrind, so
authorJeffrey Yasskin <jyasskin@google.com>
Fri, 19 Mar 2010 00:09:28 +0000 (00:09 +0000)
committerJeffrey Yasskin <jyasskin@google.com>
Fri, 19 Mar 2010 00:09:28 +0000 (00:09 +0000)
commitc3e6859d8dc9014fee8023497153add9a2148f22
tree17e82c7006d8846d002afee47fc6b0229d5151e3
parentf30187a36324fb75042d9ffd20c3fb70aff7763d
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
tools/bugpoint/BugDriver.cpp
tools/bugpoint/BugDriver.h
tools/bugpoint/OptimizerDriver.cpp
tools/bugpoint/bugpoint.cpp