Searched refs:MaxNodesPerTopLevelFunction (Results 1 – 4 of 4) sorted by relevance
306 if (!MaxNodesPerTopLevelFunction.hasValue()) { in getMaxNodesPerTopLevelFunction()319 MaxNodesPerTopLevelFunction = getOptionAsInteger("max-nodes", DefaultValue); in getMaxNodesPerTopLevelFunction()321 return MaxNodesPerTopLevelFunction.getValue(); in getMaxNodesPerTopLevelFunction()
260 Optional<unsigned> MaxNodesPerTopLevelFunction; variable
702 Mgr->options.MaxNodesPerTopLevelFunction); in RunPathSensitiveChecks()
367 unsigned, MaxNodesPerTopLevelFunction, "max-nodes",