commit 8d00476fbf99f770608644e424712cf95d3950b8
author Behdad Esfahbod <behdad@behdad.org> Tue Aug 01 14:27:37 2023 -0600
committer Behdad Esfahbod <behdad@behdad.org> Tue Aug 01 14:27:37 2023 -0600
tree 469122125e96c5329dbe330973d91106ac42eff3
parent 7946984b9624338b8d15fa53ac21664a734e93d3

[graph] Minor restructure a condition

src/graph/graph.hh

diff --git a/src/graph/graph.hh b/src/graph/graph.hh
index 929b822..595def5 100644
--- a/src/graph/graph.hh
+++ b/src/graph/graph.hh
@@ -298,12 +298,10 @@
         return;
       }
 
-      unsigned *v;
-      if (parents.has (old_index, &v))
-      {
-        if (parents.set (new_index, *v))
-	  parents.del (old_index);
-      }
+      const unsigned *v;
+      if (parents.has (old_index, &v) &&
+          parents.set (new_index, *v))
+	parents.del (old_index);
     }
 
     bool is_leaf () const
@@ -1207,6 +1205,7 @@
 
   unsigned space_for (unsigned index, unsigned* root = nullptr) const
   {
+    assert (index < vertices_.length);
     const auto& node = vertices_[index];
     if (node.space)
     {