- //If tonode is also a rmw, don't do this check as the execution is
- //doomed and we'll catch the problem elsewhere, but we want to allow
- //for the possibility of sending to's write value to rmwnode
-
- if (rmwnode!=NULL&&!to->is_rmw()) {
+ /*
+ * If the fromnode has a rmwnode that is not the tonode, we should add
+ * an edge between its rmwnode and the tonode
+ *
+ * If tonode is also a rmw, don't do this check as the execution is
+ * doomed and we'll catch the problem elsewhere, but we want to allow
+ * for the possibility of sending to's write value to rmwnode
+ */
+ if (rmwnode != NULL && !to->is_rmw()) {