protected:
friend class CallEventManager;
- CallEvent(const Expr *E, const ProgramStateRef &state,
- const LocationContext *lctx)
+ CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
: State(state), LCtx(lctx), Origin(E), RefCount(0) {}
- CallEvent(const Decl *D, const ProgramStateRef &state,
- const LocationContext *lctx)
+ CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
: State(state), LCtx(lctx), Origin(D), RefCount(0) {}
// DO NOT MAKE PUBLIC
public:
- explicit ExplodedNode(const ProgramPoint &loc, const ProgramStateRef &state,
+ explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
bool IsSink)
: Location(loc), State(state), Succs(IsSink) {
assert(isSink() == IsSink);