diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2011-08-28 19:11:56 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2011-08-28 19:11:56 +0000 |
| commit | dbd658e139b3e0bf084f75feaea8d844af9e319f (patch) | |
| tree | b16a9239734bb69c9cbdb8010d4dc42032d2f08f /include/clang/StaticAnalyzer/Core/Checker.h | |
| parent | e2c8663ad2b110712401145b866072bb94108058 (diff) | |
[analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState.
Unlike the other callbacks, this one is a simple virtual method, since it is only to be used for debugging.
This new callback replaces the old ProgramState::Printer interface, and allows us to move the printing of refcount bindings from CFRefCount to RetainReleaseChecker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@138728 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/Checker.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/Checker.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/Checker.h b/include/clang/StaticAnalyzer/Core/Checker.h index 11b665a445..268c85b068 100644 --- a/include/clang/StaticAnalyzer/Core/Checker.h +++ b/include/clang/StaticAnalyzer/Core/Checker.h @@ -338,6 +338,10 @@ public: class CheckerBase : public ProgramPointTag { public: StringRef getTagDescription() const; + + /// See CheckerManager::runCheckersForPrintState. + virtual void printState(raw_ostream &Out, const ProgramState *State, + const char *NL, const char *Sep) const { } }; template <typename CHECK1, typename CHECK2=check::_VoidCheck, |