Fix assertion for LJ_KEYINDEX.

Mike Pall · Mike Pall · commit 20aea93915a0 · 2022-04-03T10:35:42.000+02:00
Thanks to XmiliaH.
diff --git a/src/lj_obj.h b/src/lj_obj.h
@@ -845,6 +845,7 @@ static LJ_AINLINE void *lightudV(global_State *g, cTValue *o)
   uint64_t seg = lightudseg(u);
   uint32_t *segmap = mref(g->gc.lightudseg, uint32_t);
   lj_assertG(tvislightud(o), "lightuserdata expected");
+  if (seg == (1 << LJ_LIGHTUD_BITS_SEG)-1) return NULL;
   lj_assertG(seg <= g->gc.lightudnum, "bad lightuserdata segment %d", seg);
   return (void *)(((uint64_t)segmap[seg] << 32) | lightudlo(u));
 }

Original file line number	Diff line number	Diff line change
`@@ -845,6 +845,7 @@ static LJ_AINLINE void lightudV(global_State g, cTValue *o)`
`845`	`845`	`uint64_t seg = lightudseg(u);`
`846`	`846`	`uint32_t *segmap = mref(g->gc.lightudseg, uint32_t);`
`847`	`847`	`lj_assertG(tvislightud(o), "lightuserdata expected");`
	`848`	`+ if (seg == (1 << LJ_LIGHTUD_BITS_SEG)-1) return NULL;`
`848`	`849`	`lj_assertG(seg <= g->gc.lightudnum, "bad lightuserdata segment %d", seg);`
`849`	`850`	`return (void *)(((uint64_t)segmap[seg] << 32) \| lightudlo(u));`
`850`	`851`	`}`