aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2011-08-05 23:47:13 +0000
committerAnna Zaks <ganna@apple.com>2011-08-05 23:47:13 +0000
commit3f10e32b15e54f507aed90cb72d73c7acaa500bb (patch)
tree16a3fd7c7b7e52b6ca701a6088828c13dd54163f /include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
parent270ba59c4111c9e9d040cf3b95f1f3e0a8440dff (diff)
Static Analyzer: Add a convinience API. Add comment.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137000 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h')
-rw-r--r--include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h b/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
index 66ecba7dcf..42113167a1 100644
--- a/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
+++ b/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
@@ -389,6 +389,9 @@ public:
const SymbolExtent *getExtentSymbol(const SubRegion *R);
+ /// Creates a metadata symbol associated with a specific region.
+ /// VisitCount can be used to differentiate regions corresponding to
+ /// different loop iterations, thus, making the symbol path-dependent.
const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt* S,
QualType T, unsigned VisitCount,
const void* SymbolTag = 0);