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 | 71bd0f4edaeed5a238a0ee4806d27209b227b796 (patch) | |
| tree | 4fc1d181eeaaadae9467575a8ad01ac5c0c9d024 /llvm/tools/bugpoint/BugDriver.h | |
| parent | 9aec14b5607e8184b19f2d33d307b328f2a700c0 (diff) | |
| download | bcm5719-llvm-71bd0f4edaeed5a238a0ee4806d27209b227b796.tar.gz bcm5719-llvm-71bd0f4edaeed5a238a0ee4806d27209b227b796.zip | |
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.
llvm-svn: 98905
Diffstat (limited to 'llvm/tools/bugpoint/BugDriver.h')
| -rw-r--r-- | llvm/tools/bugpoint/BugDriver.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/llvm/tools/bugpoint/BugDriver.h b/llvm/tools/bugpoint/BugDriver.h index db35c851d9a..0a10a61c215 100644 --- a/llvm/tools/bugpoint/BugDriver.h +++ b/llvm/tools/bugpoint/BugDriver.h @@ -55,6 +55,7 @@ class BugDriver { bool run_find_bugs; unsigned Timeout; unsigned MemoryLimit; + bool UseValgrind; // FIXME: sort out public/private distinctions... friend class ReducePassList; @@ -62,7 +63,8 @@ class BugDriver { public: BugDriver(const char *toolname, bool as_child, bool find_bugs, - unsigned timeout, unsigned memlimit, LLVMContext& ctxt); + unsigned timeout, unsigned memlimit, bool use_valgrind, + LLVMContext& ctxt); const char *getToolName() const { return ToolName; } |
