fixed problem with max size of bitset when handling overtaken nullabl…

…e nodes in parser.
usethesource · Sep 29, 2023 · 7c15369 · 7c15369
1 parent 3ac85d5
commit 7c15369
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java b/src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java
@@ -640,7 +640,7 @@ public int updateOvertakenNullableNode(AbstractStackNode<P> predecessor, Abstrac
 		if(prefixesMap == null){
 			prefixesMap = new ArrayList[possibleMaxSize];
 
-			propagatedPrefixes = new BitSet();
+			propagatedPrefixes = new BitSet(edgesMapSize);
 		}else{
 			if(prefixesMap.length < possibleMaxSize){
 				ArrayList<Link>[] oldPrefixesMap = prefixesMap;
@@ -649,7 +649,7 @@ public int updateOvertakenNullableNode(AbstractStackNode<P> predecessor, Abstrac
 			}
 
 			if(propagatedPrefixes == null){
-				propagatedPrefixes = new BitSet();
+				propagatedPrefixes = new BitSet(edgesMapSize);
 			}else{
 				propagatedPrefixes.enlargeTo(possibleMaxSize);
 			}