diff options
Diffstat (limited to 'tools/bugpoint/BugDriver.h')
| -rw-r--r-- | tools/bugpoint/BugDriver.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/bugpoint/BugDriver.h b/tools/bugpoint/BugDriver.h index f86782a0bc..eff11ec0de 100644 --- a/tools/bugpoint/BugDriver.h +++ b/tools/bugpoint/BugDriver.h @@ -27,6 +27,8 @@ class ReduceCrashingBlocks; class CBE; class GCC; +extern bool DisableSimplifyCFG; + class BugDriver { const std::string ToolName; // Name of bugpoint std::string ReferenceOutputFile; // Name of `good' output file |