diff options
Diffstat (limited to 'include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h')
-rw-r--r-- | include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h | 11 |
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 { |