clang  14.0.0git
Namespaces | Functions
Iterator.cpp File Reference
#include "Iterator.h"
Include dependency graph for Iterator.cpp:

Go to the source code of this file.

Namespaces

 clang
 
 clang::ento
 
 clang::ento::iterator
 

Functions

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, const SVal &Val)
 
ProgramStateRef clang::ento::iterator::setIteratorPosition (ProgramStateRef State, const SVal &Val, const IteratorPosition &Pos)
 
ProgramStateRef clang::ento::iterator::createIteratorPosition (ProgramStateRef State, const SVal &Val, const MemRegion *Cont, const Stmt *S, const LocationContext *LCtx, unsigned blockCount)
 
ProgramStateRef clang::ento::iterator::advancePosition (ProgramStateRef State, const SVal &Iter, OverloadedOperatorKind Op, const 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)