klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
GetElementPtrTypeIterator.h File Reference
#include "llvm/IR/User.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Constants.h"
#include "klee/Config/Version.h"
Include dependency graph for GetElementPtrTypeIterator.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  klee::generic_gep_type_iterator< ItTy >
 

Namespaces

 klee
 

Typedefs

typedef generic_gep_type_iterator klee::gep_type_iterator
 
typedef
generic_gep_type_iterator
< llvm::ExtractValueInst::idx_iterator > 
klee::ev_type_iterator
 
typedef
generic_gep_type_iterator
< llvm::InsertValueInst::idx_iterator > 
klee::iv_type_iterator
 
typedef
generic_gep_type_iterator
< llvm::SmallVector< unsigned, 4 >
::const_iterator > 
klee::vce_type_iterator
 

Functions

gep_type_iterator klee::gep_type_begin (const llvm::User *GEP)
 
gep_type_iterator klee::gep_type_end (const llvm::User *GEP)
 
gep_type_iterator klee::gep_type_begin (const llvm::User &GEP)
 
gep_type_iterator klee::gep_type_end (const llvm::User &GEP)
 
ev_type_iterator klee::ev_type_begin (const llvm::ExtractValueInst *EV)
 
ev_type_iterator klee::ev_type_end (const llvm::ExtractValueInst *EV)
 
iv_type_iterator klee::iv_type_begin (const llvm::InsertValueInst *IV)
 
iv_type_iterator klee::iv_type_end (const llvm::InsertValueInst *IV)
 
vce_type_iterator klee::vce_type_begin (const llvm::ConstantExpr *CE)
 
vce_type_iterator klee::vce_type_end (const llvm::ConstantExpr *CE)
 
template<typename ItTy >
generic_gep_type_iterator< ItTy > klee::gep_type_begin (LLVM_TYPE_Q llvm::Type *Op0, ItTy I, ItTy E)
 
template<typename ItTy >
generic_gep_type_iterator< ItTy > klee::gep_type_end (LLVM_TYPE_Q llvm::Type *Op0, ItTy I, ItTy E)