|
bool | isIteratorType (const QualType &Type) |
|
bool | isIterator (const CXXRecordDecl *CRD) |
|
bool | isBeginCall (const FunctionDecl *Func) |
|
bool | isEndCall (const FunctionDecl *Func) |
|
bool | isSimpleComparisonOperator (OverloadedOperatorKind OK) |
|
bool | isDereferenceOperator (OverloadedOperatorKind OK) |
|
bool | isIncrementOperator (OverloadedOperatorKind OK) |
|
bool | isDecrementOperator (OverloadedOperatorKind OK) |
|
bool | isRandomIncrOrDecrOperator (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 | getContainerBegin (ProgramStateRef State, const MemRegion *Cont) |
|
SymbolRef | getContainerEnd (ProgramStateRef State, const MemRegion *Cont) |
|
ProgramStateRef | createContainerBegin (ProgramStateRef State, const MemRegion *Cont, const SymbolRef Sym) |
|
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 | hasLiveIterators (ProgramStateRef State, const MemRegion *Cont) |
|
bool | isOutOfRange (ProgramStateRef State, const IteratorPosition &Pos) |
|
bool | isZero (ProgramStateRef State, const NonLoc &Val) |
|