Searched refs:maxBlockVisitOnPath (Results 1 – 4 of 4) sorted by relevance
208 unsigned maxBlockVisitOnPath; variable
2476 unsigned maxBlockVisitOnPath = AMgr.options.maxBlockVisitOnPath; in processCFGBlockEntrance() local2480 Pred, maxBlockVisitOnPath); in processCFGBlockEntrance()2496 if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 && in processCFGBlockEntrance()2510 if (BlockCount >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
1174 uint64_t maxAllowedSize = AMgr.options.maxBlockVisitOnPath; in shouldInlineArrayDestruction()
5285 MarshallingInfoInt<AnalyzerOpts<"maxBlockVisitOnPath">, "4">;