diff options
| -rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp index 463a769047b..43e9b701e79 100644 --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -99,12 +99,6 @@ static cl::opt<bool> DetectReductions("polly-detect-reductions", cl::Hidden, cl::ZeroOrMore, cl::init(true), cl::cat(PollyCategory)); -static cl::opt<int> MaxDisjunctsAssumed( - "polly-max-disjuncts-assumed", - cl::desc("The maximal number of disjuncts we allow in the assumption " - "context (this bounds compile time)"), - cl::Hidden, cl::ZeroOrMore, cl::init(150), cl::cat(PollyCategory)); - static cl::opt<bool> IgnoreIntegerWrapping( "polly-ignore-integer-wrapping", cl::desc("Do not build run-time checks to proof absence of integer " |
