Searched refs:eagerlyAssumeBinOpBifurcation (Results 1 – 5 of 5) sorted by relevance
165 unsigned eagerlyAssumeBinOpBifurcation : 1; variable547 eagerlyAssumeBinOpBifurcation(0), in AnalyzerOptions()
247 unsigned eagerlyAssumeBinOpBifurcation : 1; variable309 eagerlyAssumeBinOpBifurcation(false), TrimGraph(false), in AnalyzerOptions()
439 AnalyzerOptions->eagerlyAssumeBinOpBifurcation = true; in CreateASTConsumer()
1068 if (AMgr.options.eagerlyAssumeBinOpBifurcation && in Visit()1323 if (AMgr.options.eagerlyAssumeBinOpBifurcation && (U->getOpcode() == UO_LNot)) { in Visit()
251 Opts.eagerlyAssumeBinOpBifurcation = Args.hasArg(OPT_analyzer_eagerly_assume); in ParseAnalyzerArgs()