|
bool | clang::ento::iterator::isIteratorType (const QualType &Type) |
|
bool | clang::ento::iterator::isIterator (const CXXRecordDecl *CRD) |
|
bool | clang::ento::iterator::isComparisonOperator (OverloadedOperatorKind OK) |
|
bool | clang::ento::iterator::isInsertCall (const FunctionDecl *Func) |
|
bool | clang::ento::iterator::isEmplaceCall (const FunctionDecl *Func) |
|
bool | clang::ento::iterator::isEraseCall (const FunctionDecl *Func) |
|
bool | clang::ento::iterator::isEraseAfterCall (const FunctionDecl *Func) |
|
bool | clang::ento::iterator::isAccessOperator (OverloadedOperatorKind OK) |
|
bool | clang::ento::iterator::isAccessOperator (UnaryOperatorKind OK) |
|
bool | clang::ento::iterator::isAccessOperator (BinaryOperatorKind OK) |
|
bool | clang::ento::iterator::isDereferenceOperator (OverloadedOperatorKind OK) |
|
bool | clang::ento::iterator::isDereferenceOperator (UnaryOperatorKind OK) |
|
bool | clang::ento::iterator::isDereferenceOperator (BinaryOperatorKind OK) |
|
bool | clang::ento::iterator::isIncrementOperator (OverloadedOperatorKind OK) |
|
bool | clang::ento::iterator::isIncrementOperator (UnaryOperatorKind OK) |
|
bool | clang::ento::iterator::isDecrementOperator (OverloadedOperatorKind OK) |
|
bool | clang::ento::iterator::isDecrementOperator (UnaryOperatorKind OK) |
|
bool | clang::ento::iterator::isRandomIncrOrDecrOperator (OverloadedOperatorKind OK) |
|
bool | clang::ento::iterator::isRandomIncrOrDecrOperator (BinaryOperatorKind OK) |
|
const ContainerData * | clang::ento::iterator::getContainerData (ProgramStateRef State, const MemRegion *Cont) |
|
const IteratorPosition * | clang::ento::iterator::getIteratorPosition (ProgramStateRef State, SVal Val) |
|
ProgramStateRef | clang::ento::iterator::setIteratorPosition (ProgramStateRef State, SVal Val, const IteratorPosition &Pos) |
|
ProgramStateRef | clang::ento::iterator::createIteratorPosition (ProgramStateRef State, SVal Val, const MemRegion *Cont, const Stmt *S, const LocationContext *LCtx, unsigned blockCount) |
|
ProgramStateRef | clang::ento::iterator::advancePosition (ProgramStateRef State, SVal Iter, OverloadedOperatorKind Op, SVal Distance) |
|
ProgramStateRef | clang::ento::iterator::assumeNoOverflow (ProgramStateRef State, SymbolRef Sym, long Scale) |
|
bool | clang::ento::iterator::compare (ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, BinaryOperator::Opcode Opc) |
|
bool | clang::ento::iterator::compare (ProgramStateRef State, NonLoc NL1, NonLoc NL2, BinaryOperator::Opcode Opc) |
|