clang  16.0.0git
AnalysisDeclContext.h
Go to the documentation of this file.
1 //===- AnalysisDeclContext.h - Context for path sensitivity -----*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 /// \file
10 /// This file defines AnalysisDeclContext, a class that manages the analysis
11 /// context data for context sensitive and path sensitive analysis.
12 /// It also defines the helper classes to model entering, leaving or inlining
13 /// function calls.
14 //
15 //===----------------------------------------------------------------------===//
16 
17 #ifndef LLVM_CLANG_ANALYSIS_ANALYSISDECLCONTEXT_H
18 #define LLVM_CLANG_ANALYSIS_ANALYSISDECLCONTEXT_H
19 
20 #include "clang/AST/DeclBase.h"
22 #include "clang/Analysis/CFG.h"
24 #include "clang/Basic/LLVM.h"
25 #include "llvm/ADT/DenseMap.h"
26 #include "llvm/ADT/FoldingSet.h"
27 #include "llvm/ADT/StringRef.h"
28 #include "llvm/ADT/iterator_range.h"
29 #include "llvm/Support/Allocator.h"
30 #include <functional>
31 #include <memory>
32 
33 namespace clang {
34 
35 class AnalysisDeclContextManager;
36 class ASTContext;
37 class BlockDecl;
38 class BlockInvocationContext;
39 class CFGReverseBlockReachabilityAnalysis;
40 class CFGStmtMap;
41 class ImplicitParamDecl;
42 class LocationContext;
43 class LocationContextManager;
44 class ParentMap;
45 class StackFrameContext;
46 class Stmt;
47 class VarDecl;
48 
49 /// The base class of a hierarchy of objects representing analyses tied
50 /// to AnalysisDeclContext.
52 protected:
53  ManagedAnalysis() = default;
54 
55 public:
56  virtual ~ManagedAnalysis();
57 
58  // Subclasses need to implement:
59  //
60  // static const void *getTag();
61  //
62  // Which returns a fixed pointer address to distinguish classes of
63  // analysis objects. They also need to implement:
64  //
65  // static [Derived*] create(AnalysisDeclContext &Ctx);
66  //
67  // which creates the analysis object given an AnalysisDeclContext.
68 };
69 
70 /// AnalysisDeclContext contains the context data for the function, method
71 /// or block under analysis.
73  // Backpoint to the AnalysisManager object that created this
74  // AnalysisDeclContext. This may be null.
76 
77  const Decl *const D;
78 
79  std::unique_ptr<CFG> cfg, completeCFG;
80  std::unique_ptr<CFGStmtMap> cfgStmtMap;
81 
82  CFG::BuildOptions cfgBuildOptions;
83  CFG::BuildOptions::ForcedBlkExprs *forcedBlkExprs = nullptr;
84 
85  bool builtCFG = false;
86  bool builtCompleteCFG = false;
87  std::unique_ptr<ParentMap> PM;
88  std::unique_ptr<CFGReverseBlockReachabilityAnalysis> CFA;
89 
90  llvm::BumpPtrAllocator A;
91 
92  llvm::DenseMap<const BlockDecl *, void *> *ReferencedBlockVars = nullptr;
93 
94  void *ManagedAnalyses = nullptr;
95 
96 public:
98 
100  const CFG::BuildOptions &BuildOptions);
101 
103 
104  ASTContext &getASTContext() const { return D->getASTContext(); }
105 
106  const Decl *getDecl() const { return D; }
107 
108  AnalysisDeclContextManager *getManager() const { return ADCMgr; }
109 
110  CFG::BuildOptions &getCFGBuildOptions() { return cfgBuildOptions; }
111 
113  return cfgBuildOptions;
114  }
115 
116  /// \returns Whether we are adding exception handling edges from CallExprs.
117  /// If this is false, then try/catch statements and blocks reachable from them
118  /// can appear to be dead in the CFG, analysis passes must cope with that.
119  bool getAddEHEdges() const { return cfgBuildOptions.AddEHEdges; }
120  bool getUseUnoptimizedCFG() const {
121  return !cfgBuildOptions.PruneTriviallyFalseEdges;
122  }
123  bool getAddImplicitDtors() const { return cfgBuildOptions.AddImplicitDtors; }
124  bool getAddInitializers() const { return cfgBuildOptions.AddInitializers; }
125 
128 
129  /// \returns The body of the stored Decl \c D.
130  Stmt *getBody() const;
131 
132  /// \copydoc AnalysisDeclContext::getBody()
133  /// \param[out] IsAutosynthesized Specifies if the body is auto-generated
134  /// by the BodyFarm.
135  Stmt *getBody(bool &IsAutosynthesized) const;
136 
137  /// \returns Whether the body of the Decl \c D is generated by the BodyFarm.
138  ///
139  /// \note The lookup is not free. We are going to call getBody behind
140  /// the scenes.
141  /// \sa getBody
142  bool isBodyAutosynthesized() const;
143 
144  /// \returns Whether the body of the Decl \c D is generated by the BodyFarm
145  /// from a model file.
146  ///
147  /// \note The lookup is not free. We are going to call getBody behind
148  /// the scenes.
149  /// \sa getBody
151 
152  CFG *getCFG();
153 
155 
157 
158  /// \returns A version of the CFG without any edges pruned.
160 
161  void dumpCFG(bool ShowColors);
162 
163  /// \returns Whether we have built a CFG for this analysis context.
164  ///
165  /// \note This doesn't correspond to whether or not a valid CFG exists, it
166  /// corresponds to whether we *attempted* to build one.
167  bool isCFGBuilt() const { return builtCFG; }
168 
170 
171  using referenced_decls_iterator = const VarDecl *const *;
172 
173  llvm::iterator_range<referenced_decls_iterator>
175 
176  /// \returns The ImplicitParamDecl associated with \c self if this
177  /// AnalysisDeclContext wraps an ObjCMethodDecl or nullptr otherwise.
178  const ImplicitParamDecl *getSelfDecl() const;
179 
180  /// \copydoc LocationContextManager::getStackFrame()
181  const StackFrameContext *getStackFrame(LocationContext const *ParentLC,
182  const Stmt *S, const CFGBlock *Blk,
183  unsigned BlockCount, unsigned Index);
184 
185  /// \copydoc LocationContextManager::getBlockInvocationContext()
186  const BlockInvocationContext *
188  const BlockDecl *BD, const void *Data);
189 
190  /// \returns The specified analysis object, lazily running the analysis if
191  /// necessary or nullptr if the analysis could not run.
192  template <typename T> T *getAnalysis() {
193  const void *tag = T::getTag();
194  std::unique_ptr<ManagedAnalysis> &data = getAnalysisImpl(tag);
195  if (!data)
196  data = T::create(*this);
197  return static_cast<T *>(data.get());
198  }
199 
200  /// \returns Whether the root namespace of \p D is the \c std C++ namespace.
201  static bool isInStdNamespace(const Decl *D);
202 
203  static std::string getFunctionName(const Decl *D);
204 
205 private:
206  std::unique_ptr<ManagedAnalysis> &getAnalysisImpl(const void *tag);
207 
208  LocationContextManager &getLocationContextManager();
209 };
210 
211 /// It wraps the AnalysisDeclContext to represent both the call stack with
212 /// the help of StackFrameContext and inside the function calls the
213 /// BlockInvocationContext. It is needed for context sensitive analysis to
214 /// model entering, leaving or inlining function calls.
215 class LocationContext : public llvm::FoldingSetNode {
216 public:
218 
219 private:
220  ContextKind Kind;
221 
222  // AnalysisDeclContext can't be const since some methods may modify its
223  // member.
224  AnalysisDeclContext *Ctx;
225 
226  const LocationContext *Parent;
227  int64_t ID;
228 
229 protected:
231  const LocationContext *parent, int64_t ID)
232  : Kind(k), Ctx(ctx), Parent(parent), ID(ID) {
233  assert(ctx);
234  }
235 
236 public:
237  virtual ~LocationContext();
238 
239  ContextKind getKind() const { return Kind; }
240 
241  int64_t getID() const { return ID; }
242 
243  LLVM_ATTRIBUTE_RETURNS_NONNULL
245 
246  /// It might return null.
247  const LocationContext *getParent() const { return Parent; }
248 
249  bool isParentOf(const LocationContext *LC) const;
250 
251  const Decl *getDecl() const { return Ctx->getDecl(); }
252 
253  CFG *getCFG() const { return Ctx->getCFG(); }
254 
255  template <typename T> T *getAnalysis() const { return Ctx->getAnalysis<T>(); }
256 
257  const ParentMap &getParentMap() const { return Ctx->getParentMap(); }
258 
259  /// \copydoc AnalysisDeclContext::getSelfDecl()
260  const ImplicitParamDecl *getSelfDecl() const { return Ctx->getSelfDecl(); }
261 
262  const StackFrameContext *getStackFrame() const;
263 
264  /// \returns Whether the current LocationContext has no caller context.
265  virtual bool inTopFrame() const;
266 
267  virtual void Profile(llvm::FoldingSetNodeID &ID) = 0;
268 
269  /// Prints out the call stack.
270  ///
271  /// \param Out The out stream.
272  LLVM_DUMP_METHOD void dumpStack(raw_ostream &Out) const;
273 
274  /// Prints out the call stack in \c json format.
275  ///
276  /// \param Out The out stream.
277  /// \param NL The newline.
278  /// \param Space The space count for indentation.
279  /// \param IsDot Whether the output format is \c dot.
280  /// \param printMoreInfoPerContext
281  /// A callback to print more information for each context, for example:
282  /// \code
283  /// [&](const LocationContext *LC) { LC->dump(); }
284  /// \endcode
285  void printJson(
286  raw_ostream &Out, const char *NL = "\n", unsigned int Space = 0,
287  bool IsDot = false,
288  std::function<void(const LocationContext *)> printMoreInfoPerContext =
289  [](const LocationContext *) {}) const;
290 
291  LLVM_DUMP_METHOD void dump() const;
292 
293  static void ProfileCommon(llvm::FoldingSetNodeID &ID, ContextKind ck,
294  AnalysisDeclContext *ctx,
295  const LocationContext *parent, const void *data);
296 };
297 
298 /// It represents a stack frame of the call stack (based on CallEvent).
301 
302  // The call site where this stack frame is established.
303  const Stmt *CallSite;
304 
305  // The parent block of the call site.
306  const CFGBlock *Block;
307 
308  // The number of times the 'Block' has been visited.
309  // It allows discriminating between stack frames of the same call that is
310  // called multiple times in a loop.
311  const unsigned BlockCount;
312 
313  // The index of the call site in the CFGBlock.
314  const unsigned Index;
315 
317  const Stmt *S, const CFGBlock *Block, unsigned BlockCount,
318  unsigned Index, int64_t ID)
319  : LocationContext(StackFrame, ADC, ParentLC, ID), CallSite(S),
320  Block(Block), BlockCount(BlockCount), Index(Index) {}
321 
322 public:
323  ~StackFrameContext() override = default;
324 
325  const Stmt *getCallSite() const { return CallSite; }
326 
327  const CFGBlock *getCallSiteBlock() const { return Block; }
328 
329  bool inTopFrame() const override { return getParent() == nullptr; }
330 
331  unsigned getIndex() const { return Index; }
332 
333  CFGElement getCallSiteCFGElement() const { return (*Block)[Index]; }
334 
335  void Profile(llvm::FoldingSetNodeID &ID) override;
336 
337  static void Profile(llvm::FoldingSetNodeID &ID, AnalysisDeclContext *ADC,
338  const LocationContext *ParentLC, const Stmt *S,
339  const CFGBlock *Block, unsigned BlockCount,
340  unsigned Index) {
341  ProfileCommon(ID, StackFrame, ADC, ParentLC, S);
342  ID.AddPointer(Block);
343  ID.AddInteger(BlockCount);
344  ID.AddInteger(Index);
345  }
346 
347  static bool classof(const LocationContext *LC) {
348  return LC->getKind() == StackFrame;
349  }
350 };
351 
352 /// It represents a block invocation (based on BlockCall).
355 
356  const BlockDecl *BD;
357 
358  // FIXME: Come up with a more type-safe way to model context-sensitivity.
359  const void *Data;
360 
362  const LocationContext *ParentLC, const BlockDecl *BD,
363  const void *Data, int64_t ID)
364  : LocationContext(Block, ADC, ParentLC, ID), BD(BD), Data(Data) {}
365 
366 public:
367  ~BlockInvocationContext() override = default;
368 
369  const BlockDecl *getBlockDecl() const { return BD; }
370 
371  const void *getData() const { return Data; }
372 
373  void Profile(llvm::FoldingSetNodeID &ID) override;
374 
375  static void Profile(llvm::FoldingSetNodeID &ID, AnalysisDeclContext *ADC,
376  const LocationContext *ParentLC, const BlockDecl *BD,
377  const void *Data) {
378  ProfileCommon(ID, Block, ADC, ParentLC, BD);
379  ID.AddPointer(Data);
380  }
381 
382  static bool classof(const LocationContext *LC) {
383  return LC->getKind() == Block;
384  }
385 };
386 
388  llvm::FoldingSet<LocationContext> Contexts;
389 
390  // ID used for generating a new location context.
391  int64_t NewID = 0;
392 
393 public:
395 
396  /// Obtain a context of the call stack using its parent context.
397  ///
398  /// \param ADC The AnalysisDeclContext.
399  /// \param ParentLC The parent context of this newly created context.
400  /// \param S The call.
401  /// \param Block The basic block.
402  /// \param BlockCount The current count of entering into \p Blk.
403  /// \param Index The index of \p Blk.
404  /// \returns The context for \p D with parent context \p ParentLC.
406  const LocationContext *ParentLC,
407  const Stmt *S, const CFGBlock *Block,
408  unsigned BlockCount, unsigned Index);
409 
410  /// Obtain a context of the block invocation using its parent context.
411  ///
412  /// \param ADC The AnalysisDeclContext.
413  /// \param ParentLC The parent context of this newly created context.
414  /// \param BD The BlockDecl.
415  /// \param Data The raw data to store as part of the context.
416  const BlockInvocationContext *
418  const LocationContext *ParentLC,
419  const BlockDecl *BD, const void *Data);
420 
421  /// Discard all previously created LocationContext objects.
422  void clear();
423 };
424 
426  using ContextMap =
427  llvm::DenseMap<const Decl *, std::unique_ptr<AnalysisDeclContext>>;
428 
429  ContextMap Contexts;
430  LocationContextManager LocCtxMgr;
431  CFG::BuildOptions cfgBuildOptions;
432 
433  // Pointer to an interface that can provide function bodies for
434  // declarations from external source.
435  std::unique_ptr<CodeInjector> Injector;
436 
437  // A factory for creating and caching implementations for common
438  // methods during the analysis.
439  BodyFarm FunctionBodyFarm;
440 
441  // Flag to indicate whether or not bodies should be synthesized
442  // for well-known functions.
443  bool SynthesizeBodies;
444 
445 public:
447  ASTContext &ASTCtx, bool useUnoptimizedCFG = false,
448  bool addImplicitDtors = false, bool addInitializers = false,
449  bool addTemporaryDtors = false, bool addLifetime = false,
450  bool addLoopExit = false, bool addScopes = false,
451  bool synthesizeBodies = false, bool addStaticInitBranches = false,
452  bool addCXXNewAllocator = true, bool addRichCXXConstructors = true,
453  bool markElidedCXXConstructors = true, bool addVirtualBaseBranches = true,
454  CodeInjector *injector = nullptr);
455 
457 
458  bool getUseUnoptimizedCFG() const {
459  return !cfgBuildOptions.PruneTriviallyFalseEdges;
460  }
461 
462  CFG::BuildOptions &getCFGBuildOptions() { return cfgBuildOptions; }
463 
464  /// \returns Whether faux bodies should be synthesized for known functions.
465  bool synthesizeBodies() const { return SynthesizeBodies; }
466 
467  /// Obtain the beginning context of the analysis.
468  ///
469  /// \returns The top level stack frame for \p D.
471  return LocCtxMgr.getStackFrame(getContext(D), nullptr, nullptr, nullptr, 0,
472  0);
473  }
474 
475  /// \copydoc LocationContextManager::getStackFrame()
477  const LocationContext *Parent,
478  const Stmt *S, const CFGBlock *Block,
479  unsigned BlockCount, unsigned Index) {
480  return LocCtxMgr.getStackFrame(ADC, Parent, S, Block, BlockCount, Index);
481  }
482 
484 
485  /// Discard all previously created AnalysisDeclContexts.
486  void clear();
487 
488 private:
489  friend class AnalysisDeclContext;
490 
491  LocationContextManager &getLocationContextManager() { return LocCtxMgr; }
492 };
493 
494 } // namespace clang
495 
496 #endif // LLVM_CLANG_ANALYSIS_ANALYSISDECLCONTEXT_H
clang::AnalysisDeclContext::getCFGStmtMap
CFGStmtMap * getCFGStmtMap()
Definition: AnalysisDeclContext.cpp:251
clang::LocationContext::printJson
void printJson(raw_ostream &Out, const char *NL="\n", unsigned int Space=0, bool IsDot=false, std::function< void(const LocationContext *)> printMoreInfoPerContext=[](const LocationContext *) {}) const
Prints out the call stack in json format.
Definition: AnalysisDeclContext.cpp:532
clang::LocationContext::Profile
virtual void Profile(llvm::FoldingSetNodeID &ID)=0
clang::Decl::getASTContext
ASTContext & getASTContext() const LLVM_READONLY
Definition: DeclBase.cpp:428
clang::StackFrameContext::Profile
static void Profile(llvm::FoldingSetNodeID &ID, AnalysisDeclContext *ADC, const LocationContext *ParentLC, const Stmt *S, const CFGBlock *Block, unsigned BlockCount, unsigned Index)
Definition: AnalysisDeclContext.h:337
clang::AnalysisDeclContext::getASTContext
ASTContext & getASTContext() const
Definition: AnalysisDeclContext.h:104
clang::AnalysisDeclContext::AnalysisDeclContext
AnalysisDeclContext(AnalysisDeclContextManager *Mgr, const Decl *D)
Definition: AnalysisDeclContext.cpp:62
clang::LocationContextManager::clear
void clear()
Discard all previously created LocationContext objects.
Definition: AnalysisDeclContext.cpp:698
clang::LocationContext
It wraps the AnalysisDeclContext to represent both the call stack with the help of StackFrameContext ...
Definition: AnalysisDeclContext.h:215
clang::LocationContext::getStackFrame
const StackFrameContext * getStackFrame() const
Definition: AnalysisDeclContext.cpp:463
string
string(SUBSTRING ${CMAKE_CURRENT_BINARY_DIR} 0 ${PATH_LIB_START} PATH_HEAD) string(SUBSTRING $
Definition: CMakeLists.txt:22
clang::AnalysisDeclContext::isBodyAutosynthesized
bool isBodyAutosynthesized() const
Definition: AnalysisDeclContext.cpp:131
clang::ast_matchers::stmt
const internal::VariadicAllOfMatcher< Stmt > stmt
Matches statements.
Definition: ASTMatchersInternal.cpp:810
CodeInjector.h
clang::CFG::BuildOptions::AddEHEdges
bool AddEHEdges
Definition: CFG.h:1242
clang::AnalysisDeclContextManager::getStackFrame
const StackFrameContext * getStackFrame(const Decl *D)
Obtain the beginning context of the analysis.
Definition: AnalysisDeclContext.h:470
clang::AnalysisDeclContext::referenced_decls_iterator
const VarDecl *const * referenced_decls_iterator
Definition: AnalysisDeclContext.h:171
clang::LocationContextManager
Definition: AnalysisDeclContext.h:387
clang::AnalysisDeclContextManager::synthesizeBodies
bool synthesizeBodies() const
Definition: AnalysisDeclContext.h:465
clang::AnalysisDeclContextManager::getStackFrame
const StackFrameContext * getStackFrame(AnalysisDeclContext *ADC, const LocationContext *Parent, const Stmt *S, const CFGBlock *Block, unsigned BlockCount, unsigned Index)
Obtain a context of the call stack using its parent context.
Definition: AnalysisDeclContext.h:476
clang::AnalysisDeclContext
AnalysisDeclContext contains the context data for the function, method or block under analysis.
Definition: AnalysisDeclContext.h:72
clang::AnalysisDeclContext::getSelfDecl
const ImplicitParamDecl * getSelfDecl() const
Definition: AnalysisDeclContext.cpp:148
clang::LocationContext::StackFrame
@ StackFrame
Definition: AnalysisDeclContext.h:217
clang::StackFrameContext::getCallSiteCFGElement
CFGElement getCallSiteCFGElement() const
Definition: AnalysisDeclContext.h:333
clang::AnalysisDeclContext::getStackFrame
const StackFrameContext * getStackFrame(LocationContext const *ParentLC, const Stmt *S, const CFGBlock *Blk, unsigned BlockCount, unsigned Index)
Obtain a context of the call stack using its parent context.
Definition: AnalysisDeclContext.cpp:312
clang::StackFrameContext::getCallSiteBlock
const CFGBlock * getCallSiteBlock() const
Definition: AnalysisDeclContext.h:327
clang::StackFrameContext
It represents a stack frame of the call stack (based on CallEvent).
Definition: AnalysisDeclContext.h:299
clang::StackFrameContext::getIndex
unsigned getIndex() const
Definition: AnalysisDeclContext.h:331
clang::AnalysisDeclContextManager::AnalysisDeclContextManager
AnalysisDeclContextManager(ASTContext &ASTCtx, bool useUnoptimizedCFG=false, bool addImplicitDtors=false, bool addInitializers=false, bool addTemporaryDtors=false, bool addLifetime=false, bool addLoopExit=false, bool addScopes=false, bool synthesizeBodies=false, bool addStaticInitBranches=false, bool addCXXNewAllocator=true, bool addRichCXXConstructors=true, bool markElidedCXXConstructors=true, bool addVirtualBaseBranches=true, CodeInjector *injector=nullptr)
Definition: AnalysisDeclContext.cpp:68
clang::LocationContext::getAnalysis
T * getAnalysis() const
Definition: AnalysisDeclContext.h:255
clang::CFG
Represents a source-level, intra-procedural CFG that represents the control-flow of a Stmt.
Definition: CFG.h:1227
clang::AnalysisDeclContext::getBlockInvocationContext
const BlockInvocationContext * getBlockInvocationContext(const LocationContext *ParentLC, const BlockDecl *BD, const void *Data)
Obtain a context of the block invocation using its parent context.
Definition: AnalysisDeclContext.cpp:319
clang::StackFrameContext::classof
static bool classof(const LocationContext *LC)
Definition: AnalysisDeclContext.h:347
clang::CFG::BuildOptions::PruneTriviallyFalseEdges
bool PruneTriviallyFalseEdges
Definition: CFG.h:1241
clang::AnalysisDeclContext::dumpCFG
void dumpCFG(bool ShowColors)
Definition: AnalysisDeclContext.cpp:275
clang::AnalysisDeclContext::registerForcedBlockExpression
void registerForcedBlockExpression(const Stmt *stmt)
Definition: AnalysisDeclContext.cpp:180
clang::CFGBlock
Represents a single basic block in a source-level CFG.
Definition: CFG.h:578
clang::AnalysisDeclContext::getCFGBuildOptions
const CFG::BuildOptions & getCFGBuildOptions() const
Definition: AnalysisDeclContext.h:112
clang::CFG::BuildOptions
Definition: CFG.h:1233
clang::AnalysisDeclContext::getAddEHEdges
bool getAddEHEdges() const
Definition: AnalysisDeclContext.h:119
clang::StackFrameContext::inTopFrame
bool inTopFrame() const override
Definition: AnalysisDeclContext.h:329
clang::LocationContext::dumpStack
LLVM_DUMP_METHOD void dumpStack(raw_ostream &Out) const
Prints out the call stack.
Definition: AnalysisDeclContext.cpp:497
clang::AnalysisDeclContext::getParentMap
ParentMap & getParentMap()
Definition: AnalysisDeclContext.cpp:279
clang::AnalysisDeclContext::getAnalysis
T * getAnalysis()
Definition: AnalysisDeclContext.h:192
clang::AnalysisDeclContext::isBodyAutosynthesizedFromModelFile
bool isBodyAutosynthesizedFromModelFile() const
Definition: AnalysisDeclContext.cpp:137
clang::BlockDecl
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Definition: Decl.h:4283
DeclBase.h
clang::CFGReverseBlockReachabilityAnalysis
Definition: CFGReachabilityAnalysis.h:31
clang::LocationContext::inTopFrame
virtual bool inTopFrame() const
Definition: AnalysisDeclContext.cpp:473
clang::ASTContext
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:209
clang::LocationContext::isParentOf
bool isParentOf(const LocationContext *LC) const
Definition: AnalysisDeclContext.cpp:477
clang::BlockInvocationContext
It represents a block invocation (based on BlockCall).
Definition: AnalysisDeclContext.h:353
clang::LocationContext::getSelfDecl
const ImplicitParamDecl * getSelfDecl() const
Definition: AnalysisDeclContext.h:260
clang::AnalysisDeclContext::getCFGReachablityAnalysis
CFGReverseBlockReachabilityAnalysis * getCFGReachablityAnalysis()
Definition: AnalysisDeclContext.cpp:263
clang::AnalysisDeclContextManager::getBodyFarm
BodyFarm & getBodyFarm()
Definition: AnalysisDeclContext.cpp:309
clang::LocationContextManager::~LocationContextManager
~LocationContextManager()
Definition: AnalysisDeclContext.cpp:694
clang::ImplicitParamDecl
Definition: Decl.h:1645
clang::VarDecl
Represents a variable declaration or definition.
Definition: Decl.h:906
clang::AnalysisDeclContext::isInStdNamespace
static bool isInStdNamespace(const Decl *D)
Definition: AnalysisDeclContext.cpp:325
clang::LocationContext::getKind
ContextKind getKind() const
Definition: AnalysisDeclContext.h:239
clang::ManagedAnalysis
The base class of a hierarchy of objects representing analyses tied to AnalysisDeclContext.
Definition: AnalysisDeclContext.h:51
clang::AnalysisDeclContext::getAddImplicitDtors
bool getAddImplicitDtors() const
Definition: AnalysisDeclContext.h:123
clang::LocationContextManager::getStackFrame
const StackFrameContext * getStackFrame(AnalysisDeclContext *ADC, const LocationContext *ParentLC, const Stmt *S, const CFGBlock *Block, unsigned BlockCount, unsigned Index)
Obtain a context of the call stack using its parent context.
Definition: AnalysisDeclContext.cpp:428
clang::CFGStmtMap
Definition: CFGStmtMap.h:24
clang::AnalysisDeclContextManager::getContext
AnalysisDeclContext * getContext(const Decl *D)
Definition: AnalysisDeclContext.cpp:295
clang::BlockInvocationContext::classof
static bool classof(const LocationContext *LC)
Definition: AnalysisDeclContext.h:382
clang::AnalysisDeclContext::getUnoptimizedCFG
CFG * getUnoptimizedCFG()
Definition: AnalysisDeclContext.cpp:232
clang::LocationContext::Block
@ Block
Definition: AnalysisDeclContext.h:217
clang::AnalysisDeclContext::getManager
AnalysisDeclContextManager * getManager() const
Definition: AnalysisDeclContext.h:108
clang::AnalysisDeclContext::getUseUnoptimizedCFG
bool getUseUnoptimizedCFG() const
Definition: AnalysisDeclContext.h:120
clang::AnalysisDeclContext::isCFGBuilt
bool isCFGBuilt() const
Definition: AnalysisDeclContext.h:167
clang::LocationContext::getAnalysisDeclContext
LLVM_ATTRIBUTE_RETURNS_NONNULL AnalysisDeclContext * getAnalysisDeclContext() const
Definition: AnalysisDeclContext.h:244
clang::LocationContext::getParent
const LocationContext * getParent() const
It might return null.
Definition: AnalysisDeclContext.h:247
clang::BlockInvocationContext::Profile
static void Profile(llvm::FoldingSetNodeID &ID, AnalysisDeclContext *ADC, const LocationContext *ParentLC, const BlockDecl *BD, const void *Data)
Definition: AnalysisDeclContext.h:375
clang::ParentMap
Definition: ParentMap.h:20
clang::serialized_diags::create
std::unique_ptr< DiagnosticConsumer > create(StringRef OutputFile, DiagnosticOptions *Diags, bool MergeChildRecords=false)
Returns a DiagnosticConsumer that serializes diagnostics to a bitcode file.
Definition: SerializedDiagnosticPrinter.cpp:301
clang::AnalysisDeclContext::getCFGBuildOptions
CFG::BuildOptions & getCFGBuildOptions()
Definition: AnalysisDeclContext.h:110
clang::LocationContext::dump
LLVM_DUMP_METHOD void dump() const
Definition: AnalysisDeclContext.cpp:584
clang::LocationContextManager::getBlockInvocationContext
const BlockInvocationContext * getBlockInvocationContext(AnalysisDeclContext *ADC, const LocationContext *ParentLC, const BlockDecl *BD, const void *Data)
Obtain a context of the block invocation using its parent context.
Definition: AnalysisDeclContext.cpp:443
clang::StackFrameContext::~StackFrameContext
~StackFrameContext() override=default
clang::AnalysisDeclContextManager::clear
void clear()
Discard all previously created AnalysisDeclContexts.
Definition: AnalysisDeclContext.cpp:91
clang::Decl
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:83
clang::StackFrameContext::getCallSite
const Stmt * getCallSite() const
Definition: AnalysisDeclContext.h:325
clang::ManagedAnalysis::ManagedAnalysis
ManagedAnalysis()=default
clang::LocationContext::LocationContext
LocationContext(ContextKind k, AnalysisDeclContext *ctx, const LocationContext *parent, int64_t ID)
Definition: AnalysisDeclContext.h:230
LLVM.h
clang::BlockInvocationContext::getData
const void * getData() const
Definition: AnalysisDeclContext.h:371
clang::AnalysisDeclContext::getAddInitializers
bool getAddInitializers() const
Definition: AnalysisDeclContext.h:124
clang::BlockInvocationContext::Profile
void Profile(llvm::FoldingSetNodeID &ID) override
Definition: AnalysisDeclContext.cpp:420
clang::AnalysisDeclContext::getFunctionName
static std::string getFunctionName(const Decl *D)
Definition: AnalysisDeclContext.cpp:340
clang::AnalysisDeclContext::getBody
Stmt * getBody() const
Definition: AnalysisDeclContext.cpp:126
clang::BodyFarm
Definition: BodyFarm.h:30
BodyFarm.h
clang::CFGElement
Represents a top-level expression in a basic block.
Definition: CFG.h:55
clang::CFG::BuildOptions::AddImplicitDtors
bool AddImplicitDtors
Definition: CFG.h:1244
clang::AnalysisDeclContext::getReferencedBlockVars
llvm::iterator_range< referenced_decls_iterator > getReferencedBlockVars(const BlockDecl *BD)
Definition: AnalysisDeclContext.cpp:664
clang::LocationContext::getID
int64_t getID() const
Definition: AnalysisDeclContext.h:241
clang::Builtin::ID
ID
Definition: Builtins.h:52
clang
Definition: CalledOnceCheck.h:17
hlsl::int64_t
long int64_t
Definition: hlsl_basic_types.h:26
clang::ManagedAnalysis::~ManagedAnalysis
virtual ~ManagedAnalysis()
CFG.h
clang::AnalysisDeclContext::getDecl
const Decl * getDecl() const
Definition: AnalysisDeclContext.h:106
clang::DeclaratorContext::Block
@ Block
clang::Stmt
Stmt - This represents one statement.
Definition: Stmt.h:71
clang::LocationContext::ProfileCommon
static void ProfileCommon(llvm::FoldingSetNodeID &ID, ContextKind ck, AnalysisDeclContext *ctx, const LocationContext *parent, const void *data)
Definition: AnalysisDeclContext.cpp:404
clang::AnalysisDeclContext::getBlockForRegisteredExpression
const CFGBlock * getBlockForRegisteredExpression(const Stmt *stmt)
Definition: AnalysisDeclContext.cpp:190
clang::AnalysisDeclContextManager::getUseUnoptimizedCFG
bool getUseUnoptimizedCFG() const
Definition: AnalysisDeclContext.h:458
clang::BlockInvocationContext::getBlockDecl
const BlockDecl * getBlockDecl() const
Definition: AnalysisDeclContext.h:369
clang::AnalysisDeclContext::~AnalysisDeclContext
~AnalysisDeclContext()
Definition: AnalysisDeclContext.cpp:686
clang::AnalysisDeclContextManager
Definition: AnalysisDeclContext.h:425
clang::LocationContext::ContextKind
ContextKind
Definition: AnalysisDeclContext.h:217
clang::StackFrameContext::Profile
void Profile(llvm::FoldingSetNodeID &ID) override
Definition: AnalysisDeclContext.cpp:415
clang::CodeInjector
CodeInjector is an interface which is responsible for injecting AST of function definitions that may ...
Definition: CodeInjector.h:35
Parent
NodeId Parent
Definition: ASTDiff.cpp:190
clang::LocationContext::getCFG
CFG * getCFG() const
Definition: AnalysisDeclContext.h:253
clang::AnalysisDeclContext::getCFG
CFG * getCFG()
Definition: AnalysisDeclContext.cpp:213
clang::CFG::BuildOptions::ForcedBlkExprs
llvm::DenseMap< const Stmt *, const CFGBlock * > ForcedBlkExprs
Definition: CFG.h:1237
clang::LocationContext::getDecl
const Decl * getDecl() const
Definition: AnalysisDeclContext.h:251
clang::LocationContext::~LocationContext
virtual ~LocationContext()
clang::CFG::BuildOptions::AddInitializers
bool AddInitializers
Definition: CFG.h:1243
clang::LocationContext::getParentMap
const ParentMap & getParentMap() const
Definition: AnalysisDeclContext.h:257
clang::BlockInvocationContext::~BlockInvocationContext
~BlockInvocationContext() override=default
clang::AnalysisDeclContextManager::getCFGBuildOptions
CFG::BuildOptions & getCFGBuildOptions()
Definition: AnalysisDeclContext.h:462