Searched refs:maxBlockVisitOnPath (Results 1 – 3 of 3) sorted by relevance
141 unsigned maxBlockVisitOnPath; variable
1410 if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 && in processCFGBlockEntrance()1425 if (BlockCount >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
238 Opts.maxBlockVisitOnPath = in ParseAnalyzerArgs()