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

#include <Passes.h>

Inherits llvm::ModulePass.

Public Member Functions

 InstructionOperandTypeCheckPass ()
 
bool runOnModule (llvm::Module &M) override
 
bool checkPassed () const
 

Static Public Attributes

static char ID = 0
 

Private Attributes

bool instructionOperandsConform
 

Detailed Description

InstructionOperandTypeCheckPass - Type checks the types of instruction operands to check that they conform to invariants expected by the Executor.

This is a ModulePass because other pass types are not meant to maintain state between calls.

Definition at line 158 of file Passes.h.

Constructor & Destructor Documentation

◆ InstructionOperandTypeCheckPass()

klee::InstructionOperandTypeCheckPass::InstructionOperandTypeCheckPass ( )
inline

Definition at line 164 of file Passes.h.

Member Function Documentation

◆ checkPassed()

bool klee::InstructionOperandTypeCheckPass::checkPassed ( ) const
inline

Definition at line 167 of file Passes.h.

References instructionOperandsConform.

Referenced by klee::KModule::checkModule().

Here is the caller graph for this function:

◆ runOnModule()

bool klee::InstructionOperandTypeCheckPass::runOnModule ( llvm::Module &  M)
override

Definition at line 169 of file InstructionOperandTypeCheckPass.cpp.

References instructionOperandsConform.

Member Data Documentation

◆ ID

char klee::InstructionOperandTypeCheckPass::ID = 0
static

Definition at line 163 of file Passes.h.

◆ instructionOperandsConform

bool klee::InstructionOperandTypeCheckPass::instructionOperandsConform
private

Definition at line 160 of file Passes.h.

Referenced by checkPassed(), and runOnModule().

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