klee
Public Member Functions | Static Private Attributes | List of all members
klee::DivCheckPass Class Reference

#include <Passes.h>

Inherits llvm::ModulePass.

Public Member Functions

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

Static Private Attributes

static char ID
 

Detailed Description

Definition at line 95 of file Passes.h.

Constructor & Destructor Documentation

◆ DivCheckPass()

klee::DivCheckPass::DivCheckPass ( )
inline

Definition at line 99 of file Passes.h.

Member Function Documentation

◆ runOnModule()

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

Definition at line 37 of file Checks.cpp.

References klee::KleeIRMetaData::addAnnotation(), and klee::KleeIRMetaData::hasAnnotation().

Here is the call graph for this function:

Member Data Documentation

◆ ID

char DivCheckPass::ID
staticprivate

Definition at line 96 of file Passes.h.

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