Options for complete OSSA lifetimes.

Adds
-disable-ossa-complete-lifetimes,
-enable-ossa-verify-complete,
-disable-ossa-verify-complete
This commit is contained in:
Andrew Trick
2021-10-21 08:32:08 -07:00
parent 5d55621de3
commit 38d9557481
7 changed files with 30 additions and 5 deletions

View File

@@ -2528,7 +2528,15 @@ static bool ParseSILArgs(SILOptions &Opts, ArgList &Args,
parseExclusivityEnforcementOptions(A, Opts, Diags);
}
Opts.OSSACompleteLifetimes |= Args.hasArg(OPT_enable_ossa_complete_lifetimes);
Opts.OSSACompleteLifetimes =
Args.hasFlag(OPT_enable_ossa_complete_lifetimes,
OPT_disable_ossa_complete_lifetimes,
Opts.OSSACompleteLifetimes);
Opts.OSSAVerifyComplete =
Args.hasFlag(OPT_enable_ossa_verify_complete,
OPT_disable_ossa_verify_complete,
Opts.OSSAVerifyComplete);
Opts.NoAllocations = Args.hasArg(OPT_no_allocations);