Merge remote-tracking branch 'origin/master' into master-next

This commit is contained in:
Bob Wilson
2017-07-20 21:59:23 -07:00
52 changed files with 2868 additions and 2057 deletions

View File

@@ -1056,6 +1056,17 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
Opts.SolverMemoryThreshold = threshold;
}
if (const Arg *A = Args.getLastArg(OPT_solver_shrink_unsolved_threshold)) {
unsigned threshold;
if (StringRef(A->getValue()).getAsInteger(10, threshold)) {
Diags.diagnose(SourceLoc(), diag::error_invalid_arg_value,
A->getAsString(Args), A->getValue());
return true;
}
Opts.SolverShrinkUnsolvedThreshold = threshold;
}
if (const Arg *A = Args.getLastArg(OPT_value_recursion_threshold)) {
unsigned threshold;
if (StringRef(A->getValue()).getAsInteger(10, threshold)) {