Fix push parsing memory leak reported by Brandon Lucia at

[bison.git] / src / closure.c

diff --git a/src/closure.c b/src/closure.c
index 89b033ff06633397795f8949eec8ea107f9c4fcb..a6cc784a49c837d100c6fa9e053d001804bdb9db 100644 (file)
--- a/src/closure.c
+++ b/src/closure.c
@@ -213,6 +213,8 @@ closure (item_number *core, size_t n)
     if (ISVAR (ritem[core[c]]))
       bitset_or (ruleset, ruleset, FDERIVES (ritem[core[c]]));
 
+  /* core is sorted on item index in ritem, which is sorted on rule number.
+     Compute itemset with the same sort.  */
   nitemset = 0;
   c = 0;
   BITSET_FOR_EACH (iter, ruleset, ruleno, 0)