Go to the source code of this file.
◆ writeDDGToDotFile()
◆ DDGDotFilenamePrefix
  
  
      
        
          | cl::opt< std::string > DDGDotFilenamePrefix("dot-ddg-filename-prefix", cl::init("ddg"), cl::Hidden, cl::desc("The prefix used for the DDG dot file names."))  | 
          ( | 
          "dot-ddg-filename-prefix" |           ,  | 
         
        
           | 
           | 
          cl::init("ddg") |           ,  | 
         
        
           | 
           | 
          cl::Hidden |           ,  | 
         
        
           | 
           | 
          cl::desc("The prefix used for the DDG dot file names.") |            ) | 
         
       
   | 
  
static   | 
  
 
 
◆ DotOnly
  
  
      
        
          | cl::opt< bool > DotOnly("dot-ddg-only", cl::Hidden, cl::desc("simple ddg dot graph"))  | 
          ( | 
          "dot-ddg-only" |           ,  | 
         
        
           | 
           | 
          cl::Hidden |           ,  | 
         
        
           | 
           | 
          cl::desc("simple ddg dot graph") |            ) | 
         
       
   | 
  
static   |