klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::DivCheckPass Class Reference

#include <Passes.h>

Inherits ModulePass.

Public Member Functions

 DivCheckPass ()
 
virtual bool runOnModule (llvm::Module &M)
 

Static Private Attributes

static char ID
 

Detailed Description

Definition at line 121 of file Passes.h.

Constructor & Destructor Documentation

klee::DivCheckPass::DivCheckPass ( )
inline

Definition at line 124 of file Passes.h.

Member Function Documentation

bool DivCheckPass::runOnModule ( llvm::Module &  M)
virtual

Definition at line 55 of file Checks.cpp.

Member Data Documentation

char DivCheckPass::ID
staticprivate

Definition at line 122 of file Passes.h.


The documentation for this class was generated from the following files: