Add missing check to SHRINK_PLIST

gap-system · Aug 24, 2017 · fb9f480 · fb9f480
1 parent cf08ca4
commit fb9f480
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/plist.h b/src/plist.h
@@ -120,6 +120,7 @@ static inline void GROW_PLIST(Obj list, Int plen)
 static inline void SHRINK_PLIST(Obj list, Int plen)
 {
     GAP_ASSERT(IS_PLIST_OR_POSOBJ(list));
+    GAP_ASSERT(plen >= 0);
     GAP_ASSERT(plen <= CAPACITY_PLIST(list));
     ResizeBag(list, (plen + 1) * sizeof(Obj));
 }