aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h')
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h11
1 files changed, 6 insertions, 5 deletions
diff --git a/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h b/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
index 44a321c2f7..bc920d5cb1 100644
--- a/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
+++ b/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
@@ -428,18 +428,19 @@ public:
}
};
-template <typename PP>
+template <typename PP_T>
class GenericNodeBuilder : public GenericNodeBuilderImpl {
public:
- GenericNodeBuilder(CoreEngine &eng, ExplodedNode *pr, const PP &p)
+ GenericNodeBuilder(CoreEngine &eng, ExplodedNode *pr, const PP_T &p)
: GenericNodeBuilderImpl(eng, pr, p) {}
ExplodedNode *generateNode(const GRState *state, ExplodedNode *pred,
- PP programPoint, bool asSink) {
- return generateNodeImpl(state, pred, programPoint, asSink);
+ const void *tag, bool asSink) {
+ return generateNodeImpl(state, pred, cast<PP_T>(pp).withTag(tag),
+ asSink);
}
- const PP &getProgramPoint() const { return cast<PP>(pp); }
+ const PP_T &getProgramPoint() const { return cast<PP_T>(pp); }
};
class EndOfFunctionNodeBuilder {