clang::Loc Class Reference
#include <SVals.h>
Public Member Functions | |
| void | dumpToStream (llvm::raw_ostream &Out) const |
| Loc (const Loc &X) | |
Static Public Member Functions | |
| static bool | classof (const SVal *V) |
| static bool | IsLocType (QualType T) |
Protected Member Functions | |
| Loc (unsigned SubKind, const void *D) | |
Detailed Description
Definition at line 248 of file SVals.h.
Constructor & Destructor Documentation
| clang::Loc::Loc | ( | unsigned | SubKind, | |
| const void * | D | |||
| ) | [inline, explicit, protected] |
Member Function Documentation
| static bool clang::Loc::classof | ( | const SVal * | V | ) | [inline, static] |
Reimplemented from clang::DefinedSVal.
Reimplemented in clang::loc::GotoLabel, clang::loc::MemRegionVal, and clang::loc::ConcreteInt.
Definition at line 259 of file SVals.h.
References clang::SVal::getBaseKind(), and clang::SVal::LocKind.
| void Loc::dumpToStream | ( | llvm::raw_ostream & | Out | ) | const |
Reimplemented from clang::SVal.
Definition at line 340 of file SVals.cpp.
References clang::loc::ConcreteIntKind, clang::SVal::getSubKind(), clang::loc::GotoLabelKind, and clang::loc::MemRegionKind.
| static bool clang::Loc::IsLocType | ( | QualType | T | ) | [inline, static] |
Definition at line 263 of file SVals.h.
Referenced by clang::SimpleConstraintManager::assumeSymRel(), clang::BasicValueFactory::Convert(), clang::SValBuilder::evalCast(), clang::SValBuilder::getConjuredSymbolVal(), clang::SValBuilder::getDerivedRegionValueSymbolVal(), clang::BasicValueFactory::getMaxValue(), clang::SValBuilder::getMetadataSymbolVal(), clang::BasicValueFactory::getMinValue(), clang::SValBuilder::getRegionValueSymbolVal(), clang::GRState::getSValAsScalarOrLoc(), clang::BasicValueFactory::getValue(), clang::SValBuilder::makeIntVal(), clang::SValBuilder::makeNonLoc(), clang::SValBuilder::makeZeroVal(), clang::GRExprEngine::VisitInitListExpr(), clang::GRExprEngine::VisitObjCForCollectionStmtAux(), and clang::GRExprEngine::VisitUnaryOperator().
The documentation for this class was generated from the following files: