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