From ae25995a404cb06c3e89dd878c7abd763449cdb3 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 11 Sep 2012 17:54:29 -0700 Subject: [PATCH] cyclegraph: add non-NULL assertions --- cyclegraph.cc | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/cyclegraph.cc b/cyclegraph.cc index 967b076..9256deb 100644 --- a/cyclegraph.cc +++ b/cyclegraph.cc @@ -1,5 +1,6 @@ #include "cyclegraph.h" #include "action.h" +#include "common.h" /** Initializes a CycleGraph object. */ CycleGraph::CycleGraph() : @@ -33,6 +34,9 @@ CycleNode * CycleGraph::getNode(const ModelAction *action) { * @param from The edge comes from this ModelAction */ void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to) { + ASSERT(from); + ASSERT(to); + CycleNode *fromnode=getNode(from); CycleNode *tonode=getNode(to); @@ -65,6 +69,9 @@ void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to) { * action can read from a given write. */ void CycleGraph::addRMWEdge(const ModelAction *from, const ModelAction *rmw) { + ASSERT(from); + ASSERT(rmw); + CycleNode *fromnode=getNode(from); CycleNode *rmwnode=getNode(rmw); -- 2.34.1