Searched refs:maxBlockVisitOnPath (Results 1 – 3 of 3) sorted by relevance
223 unsigned maxBlockVisitOnPath; variable
1966 unsigned maxBlockVisitOnPath = AMgr.options.maxBlockVisitOnPath; in processCFGBlockEntrance() local1970 Pred, maxBlockVisitOnPath); in processCFGBlockEntrance()1986 if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 && in processCFGBlockEntrance()2001 if (BlockCount >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
4638 MarshallingInfoInt<AnalyzerOpts<"maxBlockVisitOnPath">, "4">;