clang  5.0.0
Functions
IteratorComparison Namespace Reference

Functions

bool isIteratorType (const QualType &Type)
 
bool isIterator (const CXXRecordDecl *CRD)
 
bool isEndCall (const FunctionDecl *Func)
 
bool isSimpleComparisonOperator (OverloadedOperatorKind OK)
 
bool isDereferenceOperator (OverloadedOperatorKind OK)
 
BinaryOperator::Opcode getOpcode (const SymExpr *SE)
 
const RegionOrSymbol getRegionOrSymbol (const SVal &Val)
 
const ProgramStateRef processComparison (ProgramStateRef State, RegionOrSymbol LVal, RegionOrSymbol RVal, bool Equal)
 
const ProgramStateRef saveComparison (ProgramStateRef State, const SymExpr *Condition, const SVal &LVal, const SVal &RVal, bool Eq)
 
const IteratorComparison * loadComparison (ProgramStateRef State, const SymExpr *Condition)
 
SymbolRef getContainerEnd (ProgramStateRef State, const MemRegion *Cont)
 
ProgramStateRef createContainerEnd (ProgramStateRef State, const MemRegion *Cont, const SymbolRef Sym)
 
const IteratorPosition * getIteratorPosition (ProgramStateRef State, const SVal &Val)
 
const IteratorPosition * getIteratorPosition (ProgramStateRef State, RegionOrSymbol RegOrSym)
 
ProgramStateRef setIteratorPosition (ProgramStateRef State, const SVal &Val, const IteratorPosition &Pos)
 
ProgramStateRef setIteratorPosition (ProgramStateRef State, RegionOrSymbol RegOrSym, const IteratorPosition &Pos)
 
ProgramStateRef removeIteratorPosition (ProgramStateRef State, const SVal &Val)
 
ProgramStateRef adjustIteratorPosition (ProgramStateRef State, RegionOrSymbol RegOrSym, const IteratorPosition &Pos, bool Equal)
 
ProgramStateRef relateIteratorPositions (ProgramStateRef State, const IteratorPosition &Pos1, const IteratorPosition &Pos2, bool Equal)
 
const ContainerData * getContainerData (ProgramStateRef State, const MemRegion *Cont)
 
ProgramStateRef setContainerData (ProgramStateRef State, const MemRegion *Cont, const ContainerData &CData)
 
bool isOutOfRange (ProgramStateRef State, const IteratorPosition &Pos)
 

Function Documentation

ProgramStateRef IteratorComparison::adjustIteratorPosition ( ProgramStateRef  State,
RegionOrSymbol  RegOrSym,
const IteratorPosition &  Pos,
bool  Equal 
)
ProgramStateRef IteratorComparison::createContainerEnd ( ProgramStateRef  State,
const MemRegion Cont,
const SymbolRef  Sym 
)
const ContainerData* IteratorComparison::getContainerData ( ProgramStateRef  State,
const MemRegion Cont 
)
SymbolRef IteratorComparison::getContainerEnd ( ProgramStateRef  State,
const MemRegion Cont 
)
const IteratorPosition* IteratorComparison::getIteratorPosition ( ProgramStateRef  State,
const SVal Val 
)
const IteratorPosition* IteratorComparison::getIteratorPosition ( ProgramStateRef  State,
RegionOrSymbol  RegOrSym 
)
BinaryOperator::Opcode IteratorComparison::getOpcode ( const SymExpr SE)
const RegionOrSymbol IteratorComparison::getRegionOrSymbol ( const SVal Val)
bool IteratorComparison::isDereferenceOperator ( OverloadedOperatorKind  OK)
bool IteratorComparison::isEndCall ( const FunctionDecl Func)
bool IteratorComparison::isIterator ( const CXXRecordDecl CRD)
bool IteratorComparison::isIteratorType ( const QualType Type)
bool IteratorComparison::isOutOfRange ( ProgramStateRef  State,
const IteratorPosition &  Pos 
)
bool IteratorComparison::isSimpleComparisonOperator ( OverloadedOperatorKind  OK)
const IteratorComparison* IteratorComparison::loadComparison ( ProgramStateRef  State,
const SymExpr Condition 
)
const ProgramStateRef IteratorComparison::processComparison ( ProgramStateRef  State,
RegionOrSymbol  LVal,
RegionOrSymbol  RVal,
bool  Equal 
)
ProgramStateRef IteratorComparison::relateIteratorPositions ( ProgramStateRef  State,
const IteratorPosition &  Pos1,
const IteratorPosition &  Pos2,
bool  Equal 
)
ProgramStateRef IteratorComparison::removeIteratorPosition ( ProgramStateRef  State,
const SVal Val 
)
const ProgramStateRef IteratorComparison::saveComparison ( ProgramStateRef  State,
const SymExpr Condition,
const SVal LVal,
const SVal RVal,
bool  Eq 
)
ProgramStateRef IteratorComparison::setContainerData ( ProgramStateRef  State,
const MemRegion Cont,
const ContainerData &  CData 
)
ProgramStateRef IteratorComparison::setIteratorPosition ( ProgramStateRef  State,
const SVal Val,
const IteratorPosition &  Pos 
)
ProgramStateRef IteratorComparison::setIteratorPosition ( ProgramStateRef  State,
RegionOrSymbol  RegOrSym,
const IteratorPosition &  Pos 
)