Searched refs:eagerlyAssumeBinOpBifurcation (Results 1 – 3 of 3) sorted by relevance
153 unsigned eagerlyAssumeBinOpBifurcation : 1; variable361 eagerlyAssumeBinOpBifurcation(0), in AnalyzerOptions()
792 if (AMgr.options.eagerlyAssumeBinOpBifurcation && in Visit()1037 if (AMgr.options.eagerlyAssumeBinOpBifurcation && (U->getOpcode() == UO_LNot)) { in Visit()
217 Opts.eagerlyAssumeBinOpBifurcation = Args.hasArg(OPT_analyzer_eagerly_assume); in ParseAnalyzerArgs()