#ifndef NDEBUG
static GRExprEngine* GraphPrintCheckerState;
static SourceManager* GraphPrintSourceManager;
+static ValueState::CheckerStatePrinter* GraphCheckerStatePrinter;
namespace llvm {
template<>
Out << "\\|StateID: " << (void*) N->getState() << "\\|";
- N->getState()->printDOT(Out);
+ N->getState()->printDOT(Out, GraphCheckerStatePrinter);
Out << "\\l";
return Out.str();
else {
GraphPrintCheckerState = this;
GraphPrintSourceManager = &getContext().getSourceManager();
+ GraphCheckerStatePrinter = TF->getCheckerStatePrinter();
llvm::ViewGraph(*G.roots_begin(), "GRExprEngine");
GraphPrintCheckerState = NULL;
GraphPrintSourceManager = NULL;
+ GraphCheckerStatePrinter = NULL;
}
#endif
}
#ifndef NDEBUG
GraphPrintCheckerState = this;
GraphPrintSourceManager = &getContext().getSourceManager();
+ GraphCheckerStatePrinter = TF->getCheckerStatePrinter();
GRExprEngine::GraphTy* TrimmedG = G.Trim(Beg, End);
GraphPrintCheckerState = NULL;
GraphPrintSourceManager = NULL;
+ GraphCheckerStatePrinter = NULL;
#endif
}
#include "clang/Analysis/PathSensitive/RValues.h"
#include "clang/Analysis/PathSensitive/GRCoreEngine.h"
+#include "clang/Analysis/PathSensitive/ValueState.h"
namespace clang {
- class ValueState;
- class ValueStateManager;
-
class GRTransferFuncs {
public:
GRTransferFuncs() {}
virtual ~GRTransferFuncs() {}
+ virtual ValueState::CheckerStatePrinter* getCheckerStatePrinter() {
+ return NULL;
+ }
+
// Casts.
virtual RVal EvalCast(BasicValueFactory& BasicVals, NonLVal V,