klee::DivCheckPass Class Reference

#include <Passes.h>

List of all members.

Public Member Functions
	DivCheckPass ()
virtual bool	runOnModule (llvm::Module &M)
Static Private Attributes
static char	ID

---

Detailed Description

Definition at line 92 of file Passes.h.

---

Constructor & Destructor Documentation

klee::DivCheckPass::DivCheckPass

(

)

[inline]

Definition at line 95 of file Passes.h.

---

Member Function Documentation

virtual bool klee::DivCheckPass::runOnModule

(

llvm::Module &

M

)

[virtual]

---

Member Data Documentation

char DivCheckPass::ID [static, private]

Definition at line 93 of file Passes.h.

---

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

• lib/Module/Passes.h
• lib/Module/Checks.cpp