diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-08-12 23:04:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-08-12 23:04:46 +0000 |
| commit | e8f7316fee760004e6d53510fe47f29f1c02d649 (patch) | |
| tree | 4099c8c95ff82163c7b4ca777959db0f28009abf /clang/lib/StaticAnalyzer/Core/CheckerContext.cpp | |
| parent | 53cb46ebd771696dbfa93e957f115d4c323241d2 (diff) | |
| download | bcm5719-llvm-e8f7316fee760004e6d53510fe47f29f1c02d649.tar.gz bcm5719-llvm-e8f7316fee760004e6d53510fe47f29f1c02d649.zip | |
[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.
Having a notion of an actual ProgramPointTag will aid in introspection of the analyzer's behavior.
For example, the GraphViz output of the analyzer will pretty-print the tags in a useful manner.
llvm-svn: 137529
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CheckerContext.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/CheckerContext.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp b/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp index 3920a4990a6..5356edc752f 100644 --- a/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp +++ b/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp @@ -24,7 +24,7 @@ CheckerContext::~CheckerContext() { // add it as a transition. if (Dst.size() == size && !B.BuildSinks && !B.hasGeneratedNode) { if (ST && ST != Pred->getState()) { - static int autoTransitionTag = 0; + static SimpleProgramPointTag autoTransitionTag("CheckerContext : auto"); addTransition(ST, &autoTransitionTag); } else |
