diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-07-24 07:48:50 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-07-24 07:48:50 +0000 |
| commit | 62c91fcda50df5a543fad4bca572f309180580c5 (patch) | |
| tree | 53e3ad4495e4ea56e979268c0f4ca3538af69e13 /tools | |
| parent | de0213b9f551fa1fb0743f6b1150205180be5c9c (diff) | |
| download | external_llvm-62c91fcda50df5a543fad4bca572f309180580c5.zip external_llvm-62c91fcda50df5a543fad4bca572f309180580c5.tar.gz external_llvm-62c91fcda50df5a543fad4bca572f309180580c5.tar.bz2 | |
Provide timeout values to all abstract interpreters
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15159 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/bugpoint/ToolRunner.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/tools/bugpoint/ToolRunner.h b/tools/bugpoint/ToolRunner.h index 9d1755a..bd085ea 100644 --- a/tools/bugpoint/ToolRunner.h +++ b/tools/bugpoint/ToolRunner.h @@ -64,7 +64,7 @@ public: const std::string &InputFile, const std::string &OutputFile, const std::vector<std::string> &SharedLibs = - std::vector<std::string>()); + std::vector<std::string>(), unsigned Timeout = 0); /// MakeSharedObject - This compiles the specified file (which is either a .c /// file or a .s file) into a shared object. @@ -110,7 +110,8 @@ struct AbstractInterpreter { const std::string &InputFile, const std::string &OutputFile, const std::vector<std::string> &SharedLibs = - std::vector<std::string>()) = 0; + std::vector<std::string>(), + unsigned Timeout = 0) = 0; }; //===---------------------------------------------------------------------===// @@ -139,7 +140,8 @@ public: const std::string &InputFile, const std::string &OutputFile, const std::vector<std::string> &SharedLibs = - std::vector<std::string>()); + std::vector<std::string>(), + unsigned Timeout = 0); // Sometimes we just want to go half-way and only generate the .c file, not // necessarily compile it with GCC and run the program. This throws an @@ -175,7 +177,8 @@ public: const std::string &InputFile, const std::string &OutputFile, const std::vector<std::string> &SharedLibs = - std::vector<std::string>()); + std::vector<std::string>(), + unsigned Timeout = 0); // Sometimes we just want to go half-way and only generate the .s file, // not necessarily compile it all the way and run the program. This throws |