Searched refs:eagerlyAssumeBinOpBifurcation (Results 1 – 1 of 1) sorted by relevance
232 unsigned eagerlyAssumeBinOpBifurcation : 1; variable296 eagerlyAssumeBinOpBifurcation(false), TrimGraph(false), in AnalyzerOptions()