A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://clang.llvm.org/doxygen/classclang_1_1AnalysisDeclContext.html below:

clang: clang::AnalysisDeclContext Class Reference

AnalysisDeclContext contains the context data for the function, method or block under analysis. More...

#include "clang/Analysis/AnalysisDeclContext.h"

AnalysisDeclContext contains the context data for the function, method or block under analysis.

Definition at line 72 of file AnalysisDeclContext.h.

◆ referenced_decls_iterator ◆ AnalysisDeclContext() [1/2] ◆ AnalysisDeclContext() [2/2] ◆ ~AnalysisDeclContext() ◆ dumpCFG() void AnalysisDeclContext::dumpCFG ( bool  ShowColors ) ◆ getAddEHEdges() bool clang::AnalysisDeclContext::getAddEHEdges ( ) const inline
Returns
Whether we are adding exception handling edges from CallExprs. If this is false, then try/catch statements and blocks reachable from them can appear to be dead in the CFG, analysis passes must cope with that.

Definition at line 119 of file AnalysisDeclContext.h.

References clang::CFG::BuildOptions::AddEHEdges.

◆ getAddImplicitDtors() bool clang::AnalysisDeclContext::getAddImplicitDtors ( ) const inline ◆ getAddInitializers() bool clang::AnalysisDeclContext::getAddInitializers ( ) const inline ◆ getAnalysis() T * clang::AnalysisDeclContext::getAnalysis ( ) inline ◆ getASTContext() ASTContext & clang::AnalysisDeclContext::getASTContext ( ) const inline

Definition at line 104 of file AnalysisDeclContext.h.

References D.

Referenced by clang::ento::SValBuilder::conjureSymbolVal(), dumpCFG(), clang::LocationContext::dumpStack(), clang::ento::getWidenedLoopState(), clang::ento::isPossiblyEscaped(), printIndicesOfElementsToConstructJson(), clang::ProgramPoint::printJson(), clang::LocationContext::printJson(), printObjectsUnderConstructionJson(), printPendingInitLoopJson(), and clang::threadSafety::CFGWalker::walk().

◆ getBlockForRegisteredExpression() const CFGBlock * AnalysisDeclContext::getBlockForRegisteredExpression ( const Stmt *  stmt ) ◆ getBlockInvocationContext() ◆ getBody() [1/2] Stmt * AnalysisDeclContext::getBody ( ) const
Returns
The body of the stored Decl D.

Definition at line 126 of file AnalysisDeclContext.cpp.

References getBody().

Referenced by getBody(), getCFG(), getLocationForCaller(), getParentMap(), clang::ento::AnyFunctionCall::getRuntimeDefinition(), getUnoptimizedCFG(), clang::ento::PathDiagnosticLocation::getValidSourceLocation(), isBodyAutosynthesized(), isBodyAutosynthesizedFromModelFile(), clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::removeDeadOnEndOfFunction().

◆ getBody() [2/2] Stmt * AnalysisDeclContext::getBody ( bool &  IsAutosynthesized ) const ◆ getCFG() CFG * AnalysisDeclContext::getCFG ( )

Definition at line 213 of file AnalysisDeclContext.cpp.

References addParentsForSyntheticStmts(), clang::CFG::buildCFG(), clang::Decl::getASTContext(), getBody(), getCFGBuildOptions(), getUnoptimizedCFG(), clang::CFG::BuildOptions::Observer, and clang::CFG::BuildOptions::PruneTriviallyFalseEdges.

Referenced by clang::PostOrderCFGView::create(), dumpCFG(), clang::ento::AnalysisManager::getCFG(), getCFGReachablityAnalysis(), getCFGStmtMap(), and getParentMap().

◆ getCFGBuildOptions() [1/2] ◆ getCFGBuildOptions() [2/2] ◆ getCFGReachablityAnalysis() ◆ getCFGStmtMap() CFGStmtMap * AnalysisDeclContext::getCFGStmtMap ( ) ◆ getDecl() const Decl * clang::AnalysisDeclContext::getDecl ( ) const inline ◆ getFunctionName() std::string AnalysisDeclContext::getFunctionName ( const Decl *  D ) static ◆ getManager() ◆ getParentMap() ParentMap & AnalysisDeclContext::getParentMap ( ) ◆ getReferencedBlockVars() ◆ getSelfDecl() ◆ getStackFrame() ◆ getUnoptimizedCFG() CFG * AnalysisDeclContext::getUnoptimizedCFG ( ) ◆ getUseUnoptimizedCFG() bool clang::AnalysisDeclContext::getUseUnoptimizedCFG ( ) const inline ◆ isBodyAutosynthesized() bool AnalysisDeclContext::isBodyAutosynthesized ( ) const ◆ isBodyAutosynthesizedFromModelFile() bool AnalysisDeclContext::isBodyAutosynthesizedFromModelFile ( ) const ◆ isCFGBuilt() bool clang::AnalysisDeclContext::isCFGBuilt ( ) const inline
Returns
Whether we have built a CFG for this analysis context.
Note
This doesn't correspond to whether or not a valid CFG exists, it corresponds to whether we attempted to build one.

Definition at line 167 of file AnalysisDeclContext.h.

◆ isInStdNamespace() bool AnalysisDeclContext::isInStdNamespace ( const Decl *  D ) static ◆ registerForcedBlockExpression() void AnalysisDeclContext::registerForcedBlockExpression ( const Stmt *  stmt )

The documentation for this class was generated from the following files:

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4