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

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

clang: lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp Source File

;

(NumFunctionTopLevel,

);

);

);

);

(PercentReachableBlocks,

);

(MaxCFGSize,

);

AnalysisMode;

AnalysisMode RecVisitorMode;

std::vector<std::function<void(

&)>> CheckerRegistrationFns;

std::string OutDir;

std::unique_ptr<CheckerManager> checkerMgr;

std::unique_ptr<AnalysisManager> Mgr;

std::unique_ptr<llvm::TimerGroup> AnalyzerTimers;

std::unique_ptr<llvm::Timer> SyntaxCheckTimer;

std::unique_ptr<llvm::Timer> ExprEngineTimer;

std::unique_ptr<llvm::Timer> BugReporterTimer;

: RecVisitorMode(0), RecVisitorBR(nullptr), Ctx(nullptr),

PP(CI.getPreprocessor()), OutDir(outdir), Opts(opts),

Plugins(plugins), Injector(injector), CTU(CI),

MacroExpansions(CI.getLangOpts()) {

DigestAnalyzerOptions();

Opts.ShouldSerializeStats) {

AnalyzerTimers = std::make_unique<llvm::TimerGroup>(

,

);

SyntaxCheckTimer = std::make_unique<llvm::Timer>(

,

, *AnalyzerTimers);

ExprEngineTimer = std::make_unique<llvm::Timer>(

,

, *AnalyzerTimers);

BugReporterTimer = std::make_unique<llvm::Timer>(

,

,

(Opts.

|| Opts.ShouldSerializeStats) {

llvm::EnableStatistics(

);

(Opts.ShouldDisplayMacroExpansions)

ShouldWalkTypesOfTypeLocs =

;

~AnalysisConsumer()

{

llvm::PrintStatistics();

DigestAnalyzerOptions() {

llvm_unreachable(

);

llvm_unreachable(

);

DisplayTime(llvm::TimeRecord &Time) {

llvm::errs() <<

<< llvm::format(

, Time.getWallTime() * 1000)

DisplayFunction(

*

, AnalysisMode Mode,

llvm::errs() <<

;

(Mode == AM_Syntax)

llvm::errs() <<

;

(Mode == AM_Path) {

llvm::errs() <<

;

llvm::errs() <<

;

llvm::errs() <<

;

llvm::errs() <<

;

assert(Mode == (AM_Syntax | AM_Path) &&

);

llvm::errs() <<

<<

.getFilename() <<

checkerMgr = std::make_unique<CheckerManager>(*Ctx, Opts, PP, Plugins,

CheckerRegistrationFns);

Mgr = std::make_unique<AnalysisManager>(*Ctx, PP, PathConsumers,

CreateStoreMgr, CreateConstraintMgr,

checkerMgr.get(), Opts, Injector);

HandleDeclsCallGraph(

LocalTUDeclsSize);

HandleCode(

*

, AnalysisMode Mode,

RunPathSensitiveChecks(

*

,

AnalysisMode Mode = getModeForDecl(

, RecVisitorMode);

(Mode & AM_Syntax) {

(SyntaxCheckTimer)

SyntaxCheckTimer->startTimer();

checkerMgr->runCheckersOnASTDecl(

, *Mgr, *RecVisitorBR);

(SyntaxCheckTimer)

SyntaxCheckTimer->stopTimer();

VisitVarDecl(

*VD)

{

(!Opts.IsNaiveCTUEnabled)

Opts.DisplayCTUProgress);

(!CTUDeclOrError) {

handleAllErrors(CTUDeclOrError.takeError(),

CTU.emitCrossTUDiagnostics(IE);

(II && II->

().starts_with(

))

assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() ==

);

HandleCode(FD, RecVisitorMode);

assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() ==

);

HandleCode(MD, RecVisitorMode);

VisitBlockDecl(

*BD)

{

assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() ==

);

HandleCode(BD, RecVisitorMode);

PathConsumers.push_back(Consumer);

CheckerRegistrationFns.push_back(std::move(Fn));

AnalysisMode getModeForDecl(

*

, AnalysisMode Mode);

runAnalysisOnTranslationUnit(

&

);

reportAnalyzerProgress(StringRef S);

AnalysisConsumer::HandleTopLevelDecl(

DG) {

storeTopLevelDecls(DG);

AnalysisConsumer::HandleTopLevelDeclInObjCContainer(

DG) {

storeTopLevelDecls(DG);

AnalysisConsumer::storeTopLevelDecls(

DG) {

(

&I : DG) {

(isa<ObjCMethodDecl>(I))

LocalTUDecls.push_back(I);

(VisitedAsTopLevel.count(

))

(

*CD = dyn_cast<CXXConstructorDecl>(

))

(CD->isInheritingConstructor())

(isa<ObjCMethodDecl>(

))

(

*MD = dyn_cast<CXXMethodDecl>(

)) {

(MD->isCopyAssignmentOperator() || MD->isMoveAssignmentOperator())

AnalysisConsumer::getInliningModeForFunction(

*

,

(

.count(

) && isa<ObjCMethodDecl>(

)) {

AnalysisConsumer::HandleDeclsCallGraph(

LocalTUDeclsSize) {

(

i = 0 ; i < LocalTUDeclsSize ; ++i) {

llvm::ReversePostOrderTraversal<clang::CallGraph*> RPOT(&CG);

(

&N : RPOT) {

NumFunctionTopLevel++;

*

= N->getDecl();

(

*FD = dyn_cast<FunctionDecl>(

)) {

HandleCode(

, AM_Path, getInliningModeForFunction(

,

),

(Mgr->options.InliningMode == All ?

: &VisitedCallees));

(

*Callee : VisitedCallees)

.insert(isa<ObjCMethodDecl>(Callee) ? Callee

:

->getCanonicalDecl());

VisitedAsTopLevel.insert(

);

StringRef Buffer =

.getBufferOrFake(FID).getBuffer();

Buffer.contains(Substring);

llvm::errs() <<

;

llvm::errs() <<

;

(Ctx.

().CPlusPlus && !HasBrackets) {

<<

;

}

(!Ctx.

().CPlusPlus && HasBrackets) {

llvm::errs() <<

;

AnalysisConsumer::runAnalysisOnTranslationUnit(

&

) {

BR.setAnalysisEntryPoint(TU);

(SyntaxCheckTimer)

SyntaxCheckTimer->startTimer();

checkerMgr->runCheckersOnASTDecl(TU, *Mgr, BR);

(SyntaxCheckTimer)

SyntaxCheckTimer->stopTimer();

RecVisitorMode = AM_Syntax;

(!Mgr->shouldInlineCall())

RecVisitorMode |= AM_Path;

LocalTUDeclsSize = LocalTUDecls.size();

(

i = 0 ; i < LocalTUDeclsSize ; ++i) {

TraverseDecl(LocalTUDecls[i]);

(Mgr->shouldInlineCall())

HandleDeclsCallGraph(LocalTUDeclsSize);

checkerMgr->runCheckersOnEndOfTranslationUnit(TU, *Mgr, BR);

RecVisitorBR =

;

AnalysisConsumer::reportAnalyzerProgress(StringRef S) {

AnalysisConsumer::HandleTranslationUnit(

&

) {

DiagFlusherScopeExit =

llvm::make_scope_exit([

] { Mgr.reset(); });

(Opts.ShouldIgnoreBisonGeneratedFiles &&

reportAnalyzerProgress(

);

(Opts.ShouldIgnoreFlexGeneratedFiles &&

reportAnalyzerProgress(

);

reportAnalyzerProgress(

);

runAnalysisOnTranslationUnit(

);

NumVisitedBlocksInAnalyzedFunctions =

(NumBlocksInAnalyzedFunctions > 0)

PercentReachableBlocks =

NumBlocksInAnalyzedFunctions;

AnalysisConsumer::AnalysisMode

AnalysisConsumer::getModeForDecl(

*

, AnalysisMode Mode) {

.getExpansionLoc(SL);

(

.isInvalid() ||

.isInSystemHeader(

))

(!Mgr->isInCodeFile(

))

Mode & ~AM_Path;

AnalysisConsumer::HandleCode(

*

, AnalysisMode Mode,

Mode = getModeForDecl(

, Mode);

Mgr->ClearContexts();

(Mgr->getAnalysisDeclContext(

)->isBodyAutosynthesized())

*DeclCFG = Mgr->getCFG(

);

MaxCFGSize.updateMax(DeclCFG->

());

DisplayFunction(

, Mode, IMode);

BR.setAnalysisEntryPoint(

);

(Mode & AM_Syntax) {

llvm::TimeRecord CheckerStartTime;

(SyntaxCheckTimer) {

CheckerStartTime = SyntaxCheckTimer->getTotalTime();

SyntaxCheckTimer->startTimer();

checkerMgr->runCheckersOnASTBody(

, *Mgr, BR);

(SyntaxCheckTimer) {

SyntaxCheckTimer->stopTimer();

llvm::TimeRecord CheckerEndTime = SyntaxCheckTimer->getTotalTime();

CheckerEndTime -= CheckerStartTime;

DisplayTime(CheckerEndTime);

((Mode & AM_Path) && checkerMgr->hasPathSensitiveCheckers()) {

RunPathSensitiveChecks(

, IMode, VisitedCallees);

NumFunctionsAnalyzed++;

AnalysisConsumer::RunPathSensitiveChecks(

*

,

(!Mgr->getCFG(

))

Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode);

llvm::TimeRecord ExprEngineStartTime;

(ExprEngineTimer) {

ExprEngineStartTime = ExprEngineTimer->getTotalTime();

ExprEngineTimer->startTimer();

Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(

),

Mgr->options.MaxNodesPerTopLevelFunction);

(ExprEngineTimer) {

ExprEngineTimer->stopTimer();

llvm::TimeRecord ExprEngineEndTime = ExprEngineTimer->getTotalTime();

ExprEngineEndTime -= ExprEngineStartTime;

DisplayTime(ExprEngineEndTime);

(!Mgr->options.DumpExplodedGraphTo.empty())

Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo);

(Mgr->options.visualizeExplodedGraphWithGraphViz)

Eng.ViewGraph(Mgr->options.TrimGraph);

(BugReporterTimer)

BugReporterTimer->startTimer();

Eng.getBugReporter().FlushReports();

(BugReporterTimer)

BugReporterTimer->stopTimer();

std::unique_ptr<AnalysisASTConsumer>

hasModelPath = analyzerOpts.

.count(

) > 0;

std::make_unique<AnalysisConsumer>(

STATISTIC(NumFunctionTopLevel, "The # of functions at top level.")

static bool shouldSkipFunction(const Decl *D, const SetOfConstDecls &Visited, const SetOfConstDecls &VisitedAsTopLevel)

static bool fileContainsString(StringRef Substring, ASTContext &C)

static void reportAnalyzerFunctionMisuse(const AnalyzerOptions &Opts, const ASTContext &Ctx)

Defines the clang::CodeInjector interface which is responsible for injecting AST of function definiti...

Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....

llvm::DenseSet< const void * > Visited

This file defines the clang::ento::ModelInjector class which implements the clang::CodeInjector inter...

Defines the clang::Preprocessor interface.

Defines the SourceManager interface.

virtual void HandleTranslationUnit(ASTContext &Ctx)

HandleTranslationUnit - This method is called when the ASTs for entire translation unit have been par...

virtual void HandleTopLevelDeclInObjCContainer(DeclGroupRef D)

Handle the specified top-level declaration that occurred inside and ObjC container.

virtual bool HandleTopLevelDecl(DeclGroupRef D)

HandleTopLevelDecl - Handle the specified top-level declaration.

virtual void Initialize(ASTContext &Context)

Initialize - This is called to initialize the consumer, providing the ASTContext.

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

SourceManager & getSourceManager()

const LangOptions & getLangOpts() const

static std::string getFunctionName(const Decl *D)

Stores options for the analyzer from the command line.

unsigned DisableAllCheckers

Disable all analyzer checkers.

AnalysisDiagClients AnalysisDiagOpt

AnalysisConstraints AnalysisConstraintsOpt

ConfigTable Config

A key-value table of use-specified configuration values.

std::string AnalyzeSpecificFunction

unsigned AnalyzerDisplayProgress

Represents a block literal declaration, which is like an unnamed FunctionDecl.

Represents a source-level, intra-procedural CFG that represents the control-flow of a Stmt.

unsigned size() const

Return the total number of CFGBlocks within the CFG This is simply a renaming of the getNumBlockIDs()...

The AST-based call graph.

void addToCallGraph(Decl *D)

Populate the call graph with the functions in the given declaration.

CodeInjector is an interface which is responsible for injecting AST of function definitions that may ...

CompilerInstance - Helper class for managing a single instance of the Clang compiler.

AnalyzerOptions & getAnalyzerOpts()

Preprocessor & getPreprocessor() const

Return the current preprocessor.

FrontendOptions & getFrontendOpts()

bool isDependentContext() const

Determines whether this context is dependent on a template parameter.

Decl - This represents one declaration (or definition), e.g.

virtual Stmt * getBody() const

getBody - If this Decl represents a declaration for a body of code, such as a function or method defi...

virtual bool hasBody() const

Returns true if this Decl represents a declaration for a body of code, such as a function or method d...

SourceLocation getLocation() const

Concrete class used by the front-end to report problems and issues.

bool hasErrorOccurred() const

void setWarningsAsErrors(bool Val)

When set to true, any warnings reported are issued as errors.

bool hasFatalErrorOccurred() const

Recursive AST visitor that supports extension via dynamic dispatch.

virtual bool VisitDecl(MaybeConst< Decl > *D)

An opaque identifier used by SourceManager which refers to a source file (MemoryBuffer) along with it...

std::string OutputFile

The output file, if any.

std::vector< std::string > Plugins

The list of plugins to load.

Represents a function declaration or definition.

bool isThisDeclarationADefinition() const

Returns whether this specific declaration of the function is also a definition that does not contain ...

bool hasBody(const FunctionDecl *&Definition) const

Returns true if the function has a body.

One of these records is kept for each identifier that is lexed.

StringRef getName() const

Return the actual identifier string.

MacroExpansionContext tracks the macro expansions processed by the Preprocessor.

void registerForPreprocessor(Preprocessor &PP)

Register the necessary callbacks to the Preprocessor to record the expansion events and the generated...

IdentifierInfo * getIdentifier() const

Get the identifier that names this declaration, if there is one.

ObjCMethodDecl - Represents an instance or class method declaration.

bool isThisDeclarationADefinition() const

Returns whether this specific method is a definition.

ObjCMethodFamily getMethodFamily() const

Determines the family of this method.

Engages in a tight little dance with the lexer to efficiently preprocess tokens.

DiagnosticsEngine & getDiagnostics() const

Represents an unpacked "presumed" location which can be presented to the user.

Encodes a location in the source.

This class handles loading and caching of source files into memory.

Stmt - This represents one statement.

SourceLocation getBeginLoc() const LLVM_READONLY

The top declaration context.

Represents a variable declaration or definition.

bool isStaticDataMember() const

Determines whether this is a static data member.

bool hasExternalStorage() const

Returns true if a variable has extern or private_extern storage.

const Expr * getAnyInitializer() const

Get the initializer for this variable, no matter which declaration it is attached to.

This class is used for tools that requires cross translation unit capability.

llvm::Expected< const FunctionDecl * > getCrossTUDefinition(const FunctionDecl *FD, StringRef CrossTUDir, StringRef IndexName, bool DisplayCTUProgress=false)

This function loads a function or variable definition from an external AST file and merges it into th...

bool isImportedAsNew(const Decl *ToDecl) const

Returns true if the given Decl is newly created during the import.

virtual void AddCheckerRegistrationFn(std::function< void(CheckerRegistry &)> Fn)=0

This method allows registering statically linked custom checkers that are not a part of the Clang tre...

virtual void AddDiagnosticConsumer(PathDiagnosticConsumer *Consumer)=0

BugReporter is a utility class for generating PathDiagnostics for analysis.

Manages a set of available checkers for running a static analysis.

bool isValid() const =delete

InliningModes

The modes of inlining, which override the default analysis-wide settings.

@ Inline_Minimal

Do minimal inlining of callees.

@ Inline_Regular

Follow the default settings for inlining callees.

unsigned getTotalNumBasicBlocks()

unsigned getTotalNumVisitedBasicBlocks()

bool shouldImport(const VarDecl *VD, const ASTContext &ACtx)

Returns true if it makes sense to import a foreign variable definition.

std::unique_ptr< AnalysisASTConsumer > CreateAnalysisConsumer(CompilerInstance &CI)

CreateAnalysisConsumer - Creates an ASTConsumer to run various code analysis passes.

llvm::DenseSet< const Decl * > SetOfConstDecls

std::unique_ptr< ConstraintManager >(* ConstraintManagerCreator)(ProgramStateManager &, ExprEngine *)

std::vector< PathDiagnosticConsumer * > PathDiagnosticConsumers

std::unique_ptr< StoreManager >(* StoreManagerCreator)(ProgramStateManager &)

std::deque< Decl * > SetOfDecls

std::unique_ptr< StoreManager > CreateRegionStoreManager(ProgramStateManager &StMgr)

The JSON file list parser is used to communicate input to InstallAPI.

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