unsigned AnalyzerStats : 1;
unsigned EagerlyAssume : 1;
unsigned IdempotentOps : 1;
- unsigned ObjCSelfInitCheck : 1;
unsigned BufferOverflows : 1;
unsigned PurgeDead : 1;
unsigned TrimGraph : 1;
AnalyzerStats = 0;
EagerlyAssume = 0;
IdempotentOps = 0;
- ObjCSelfInitCheck = 0;
BufferOverflows = 0;
PurgeDead = 1;
TrimGraph = 0;
if (C.Opts.EnableExperimentalChecks)
RegisterExperimentalChecks(Eng);
- if (C.Opts.ObjCSelfInitCheck && isa<ObjCMethodDecl>(D))
- registerObjCSelfInitChecker(Eng);
-
// Enable idempotent operation checking if it was explicitly turned on, or if
// we are running experimental checks (i.e. everything)
if (C.Opts.IdempotentOps || C.Opts.EnableExperimentalChecks