clang
6.0.0
|
#include "clang/Analysis/AnalysisDeclContext.h"
Public Types | |
enum | ContextKind { StackFrame, Scope, Block } |
Public Member Functions | |
virtual | ~LocationContext () |
ContextKind | getKind () const |
AnalysisDeclContext * | getAnalysisDeclContext () const |
const LocationContext * | getParent () const |
bool | isParentOf (const LocationContext *LC) const |
const Decl * | getDecl () const |
CFG * | getCFG () const |
template<typename T > | |
T * | getAnalysis () const |
ParentMap & | getParentMap () const |
const ImplicitParamDecl * | getSelfDecl () const |
const StackFrameContext * | getCurrentStackFrame () const |
virtual bool | inTopFrame () const |
Return true if the current LocationContext has no caller context. More... | |
virtual void | Profile (llvm::FoldingSetNodeID &ID)=0 |
void | dumpStack (raw_ostream &OS, StringRef Indent="") const |
void | dumpStack () const |
Static Public Member Functions | |
static void | ProfileCommon (llvm::FoldingSetNodeID &ID, ContextKind ck, AnalysisDeclContext *ctx, const LocationContext *parent, const void *data) |
Protected Member Functions | |
LocationContext (ContextKind k, AnalysisDeclContext *ctx, const LocationContext *parent) | |
Definition at line 215 of file AnalysisDeclContext.h.
Enumerator | |
---|---|
StackFrame | |
Scope | |
Block |
Definition at line 217 of file AnalysisDeclContext.h.
|
inlineprotected |
Definition at line 229 of file AnalysisDeclContext.h.
|
virtual |
Definition at line 603 of file AnalysisDeclContext.cpp.
void LocationContext::dumpStack | ( | raw_ostream & | OS, |
StringRef | Indent = "" |
||
) | const |
Definition at line 466 of file AnalysisDeclContext.cpp.
Referenced by clang::ento::PrettyStackTraceLocationContext::print().
LLVM_DUMP_METHOD void LocationContext::dumpStack | ( | ) | const |
Definition at line 491 of file AnalysisDeclContext.cpp.
|
inline |
Definition at line 249 of file AnalysisDeclContext.h.
References clang::T.
Referenced by clang::ento::ExplodedNode::getAnalysis().
|
inline |
Definition at line 238 of file AnalysisDeclContext.h.
Referenced by clang::ento::SValBuilder::conjureSymbolVal(), findBlockForNode(), findTopAutosynthesizedParentContext(), clang::ento::SValBuilder::getBlockPointer(), clang::ento::CheckerContext::getCurrentAnalysisDeclContext(), clang::ObjCMethodCall::getInitialStackFrameContents(), getLocationForCaller(), clang::ento::AnyFunctionCall::getRuntimeDefinition(), clang::ento::PathDiagnosticLocation::getStmt(), isSynthesizedAccessor(), mayInlineCallKind(), clang::ento::ExprEngine::removeDeadOnEndOfFunction(), and clang::ento::PathDiagnosticCallPiece::setCallee().
|
inline |
Definition at line 246 of file AnalysisDeclContext.h.
Referenced by clang::ento::CoreEngine::ExecuteWorkList(), clang::ento::ExplodedNode::getCFG(), clang::CallEnter::getEntry(), and clang::ento::BugReport::getStmt().
const StackFrameContext * LocationContext::getCurrentStackFrame | ( | ) | const |
Definition at line 440 of file AnalysisDeclContext.cpp.
References getParent().
Referenced by clang::ento::NodeBuilderContext::blockCount(), GetAllocationSite(), getArgumentValueString(), clang::ento::MemRegionManager::getBlockDataRegion(), clang::CallEventManager::getCaller(), clang::ento::MemRegionManager::getCompoundLiteralRegion(), clang::ento::MemRegionManager::getCXXThisRegion(), clang::ento::BugReport::getDeclWithIssue(), clang::ento::ExprEngine::getInitialState(), clang::ento::ExplodedNode::getStackFrame(), clang::ento::getWidenedLoopState(), isInitializationOfVar(), isSynthesizedAccessor(), makeZeroElementRegion(), mayInlineCallKind(), parameterTypeFromSVal(), clang::ento::ExprEngine::ProcessBaseDtor(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessMemberDtor(), llvm::FoldingSetTrait< ObjectState >::Profile(), REGISTER_TRAIT_WITH_PROGRAMSTATE(), clang::ento::ExprEngine::removeDead(), reversePropagateInterestingSymbols(), and clang::ento::ExprEngine::VisitCXXConstructExpr().
|
inline |
Definition at line 244 of file AnalysisDeclContext.h.
Referenced by checkInvariantViolation(), checkSelfIvarsForInvariantViolation(), clang::ento::PathDiagnosticCallPiece::construct(), clang::ento::PathDiagnosticLocation::createDeclBegin(), clang::ento::PathDiagnosticLocation::createDeclEnd(), clang::ento::CoreEngine::ExecuteWorkList(), GenerateAlternateExtensivePathDiagnostic(), GetAllocationSite(), getAsPointeeSymbol(), clang::CallEventManager::getCaller(), clang::ento::ExplodedNode::getCodeDecl(), clang::ento::MemRegionManager::getCXXThisRegion(), clang::ento::BugReport::getDeclWithIssue(), clang::ento::AnyFunctionCall::getInitialStackFrameContents(), clang::BlockCall::getInitialStackFrameContents(), clang::CXXInstanceCall::getInitialStackFrameContents(), clang::CXXConstructorCall::getInitialStackFrameContents(), clang::ObjCMethodCall::getInitialStackFrameContents(), clang::ento::ExprEngine::getInitialState(), isShiftOverflow(), isSynthesizedAccessor(), makeZeroElementRegion(), clang::ento::ExprEngine::ProcessBaseDtor(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessMemberDtor(), llvm::FoldingSetTrait< ObjectState >::Profile(), recordFixedType(), reversePropagateInterestingSymbols(), clang::ento::PathDiagnosticCallPiece::setCallee(), clang::ento::ExprEngine::VisitCXXConstructExpr(), and wasDifferentDeclUsedForInlining().
|
inline |
Definition at line 236 of file AnalysisDeclContext.h.
Referenced by clang::StackFrameContext::classof(), clang::ScopeContext::classof(), and clang::BlockInvocationContext::classof().
|
inline |
Definition at line 240 of file AnalysisDeclContext.h.
References Parent.
Referenced by findTopAutosynthesizedParentContext(), getArgumentValueString(), getAsPointeeSymbol(), clang::CallEventManager::getCaller(), getCurrentStackFrame(), clang::ento::MemRegionManager::getCXXThisRegion(), clang::ento::ExprEngine::getInitialState(), isParentOf(), clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::removeDead().
|
inline |
Definition at line 253 of file AnalysisDeclContext.h.
Referenced by clang::ObjCMethodCall::getMessageKind(), clang::ento::ExplodedNode::getParentMap(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), mayInlineCallKind(), optimizeEdges(), recordFixedType(), supportsNilWithFloatRet(), and clang::ento::ExprEngine::VisitCXXConstructExpr().
|
inline |
Definition at line 257 of file AnalysisDeclContext.h.
References clang::AnalysisDeclContext::getSelfDecl().
Referenced by checkSelfIvarsForInvariantViolation(), clang::ObjCMethodCall::getSelfSVal(), and recordFixedType().
|
virtual |
Return true if the current LocationContext has no caller context.
Reimplemented in clang::StackFrameContext.
Definition at line 450 of file AnalysisDeclContext.cpp.
Referenced by clang::ento::MemRegionManager::getCXXThisRegion(), clang::ento::CheckerContext::inTopFrame(), and clang::ento::ExprEngine::processEndOfFunction().
bool LocationContext::isParentOf | ( | const LocationContext * | LC | ) | const |
Definition at line 454 of file AnalysisDeclContext.cpp.
References getParent(), and Parent.
Referenced by GetAllocationSite(), getAsPointeeSymbol(), and clang::ento::SuppressInlineDefensiveChecksVisitor::VisitNode().
|
pure virtual |
Implemented in clang::BlockInvocationContext, clang::ScopeContext, and clang::StackFrameContext.
|
static |
Definition at line 349 of file AnalysisDeclContext.cpp.