klee::PhiCleanerPass Class Reference

#include <Passes.h>

Inherits llvm::FunctionPass.

Public Member Functions
	PhiCleanerPass ()
bool	runOnFunction (llvm::Function &f) override

Static Private Attributes
static char	ID = 0

Detailed Description

Definition at line 86 of file Passes.h.

Constructor & Destructor Documentation

PhiCleanerPass()

klee::PhiCleanerPass::PhiCleanerPass ( )

inline

Definition at line 90 of file Passes.h.

Member Function Documentation

runOnFunction()

bool klee::PhiCleanerPass::runOnFunction ( llvm::Function &  f )

override

Definition at line 18 of file PhiCleaner.cpp.

Member Data Documentation

ID

char klee::PhiCleanerPass::ID = 0

staticprivate

Definition at line 87 of file Passes.h.

---

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

• /Users/cristic/klee/lib/Module/Passes.h
• /Users/cristic/klee/lib/Module/PhiCleaner.cpp