Searched refs:eagerlyAssumeBinOpBifurcation (Results 1 – 3 of 3) sorted by relevance
165 unsigned eagerlyAssumeBinOpBifurcation : 1; variable547 eagerlyAssumeBinOpBifurcation(0), in AnalyzerOptions()
1058 if (AMgr.options.eagerlyAssumeBinOpBifurcation && in Visit()1307 if (AMgr.options.eagerlyAssumeBinOpBifurcation && (U->getOpcode() == UO_LNot)) { in Visit()
234 Opts.eagerlyAssumeBinOpBifurcation = Args.hasArg(OPT_analyzer_eagerly_assume); in ParseAnalyzerArgs()