Searched refs:EagerlyAssume (Results 1 – 5 of 5) sorted by relevance
70 unsigned EagerlyAssume : 1; variable90 EagerlyAssume = 0; in AnalyzerOptions()
72 bool EagerlyAssume; variable96 EagerlyAssume(eager), TrimGraph(trim), InlineCall(inlinecall), in AnalysisManager()165 bool shouldEagerlyAssume() const { return EagerlyAssume; } in shouldEagerlyAssume()
168 Opts.PurgeDead, Opts.EagerlyAssume, in main()
155 Opts.PurgeDead, Opts.EagerlyAssume, in Initialize()
93 if (Opts.EagerlyAssume) in AnalyzerOptsToArgs()933 Opts.EagerlyAssume = Args.hasArg(OPT_analyzer_eagerly_assume); in ParseAnalyzerArgs()