Searched refs:visualizeExplodedGraphWithGraphViz (Results 1 – 4 of 4) sorted by relevance
235 unsigned visualizeExplodedGraphWithGraphViz : 1; variable297 visualizeExplodedGraphWithGraphViz(false), UnoptimizedCFG(false), in AnalyzerOptions()
101 return options.visualizeExplodedGraphWithGraphViz; in shouldVisualize()
742 if (Mgr->options.visualizeExplodedGraphWithGraphViz) in RunPathSensitiveChecks()
6920 MarshallingInfoFlag<AnalyzerOpts<"visualizeExplodedGraphWithGraphViz">>;