Searched refs:maxBlockVisitOnPath (Results 1 – 6 of 6) sorted by relevance
141 unsigned maxBlockVisitOnPath; variable
223 unsigned maxBlockVisitOnPath; variable
1961 unsigned maxBlockVisitOnPath = AMgr.options.maxBlockVisitOnPath; in processCFGBlockEntrance() local1965 Pred, maxBlockVisitOnPath); in processCFGBlockEntrance()1981 if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 && in processCFGBlockEntrance()1996 if (BlockCount >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
1426 if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 && in processCFGBlockEntrance()1441 if (BlockCount >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
255 Opts.maxBlockVisitOnPath = in ParseAnalyzerArgs()
501 Opts.maxBlockVisitOnPath = in ParseAnalyzerArgs()