diff options
| author | Anna Zaks <ganna@apple.com> | 2012-01-20 00:11:16 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-01-20 00:11:16 +0000 |
| commit | be97b7edb112520d764c24e8b9a159cdc692bcb6 (patch) | |
| tree | 3d69ea06279124bb2e66a5ba30ceb78d7f2214a1 /include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | |
| parent | 461af1e502c9bd88330bbf17d449a7593fc0d624 (diff) | |
[analyzer] Skip casts when determining taint dependencies + pretty
printing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148517 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index 2987116e4f..806613fff1 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h @@ -368,10 +368,12 @@ public: // Pretty-printing. void print(raw_ostream &Out, const char *nl = "\n", const char *sep = "") const; - void printDOT(raw_ostream &Out) const; + void printTaint(raw_ostream &Out, const char *nl = "\n", + const char *sep = "") const; void dump() const; + void dumpTaint() const; private: /// Increments the number of times this state is referenced by ExplodeNodes. |