Merge pull request #8188 from tautschnig/cleanup/scope-tree-comment

Scope tree: fix and clarify comment

Author: tautschnig

src/goto-programs/goto_convert.cpp

@@ -285,7 +285,8 @@ void goto_convertt::finish_gotos(goto_programt &dest, const irep_idt &mode)
         targets.scope_stack.get_nearest_common_ancestor_info(
           goto_target, label_target);
 
-      // If our goto had no variables of note, just skip
+      // If our goto had no variables of note, just skip (0 is the index of the
+      // root of the scope tree)
       if(goto_target != 0)
       {
         // If the goto recorded a destructor stack, execute as much as is

src/goto-programs/scope_tree.cpp

@@ -61,7 +61,7 @@ const ancestry_resultt scope_treet::get_nearest_common_ancestor_info(
     }
   }
 
-  // At this point it dosen't matter which index we return as both are the same.
+  // At this point it doesn't matter which index we return as both are the same.
   return {right_index, left_unique_count, right_unique_count};
 }