Check for if slot == c_slotUnused in PushConst (#315)

opam-2.0.0
Nick Wanninger 2 years ago committed by GitHub
parent 8523770b80
commit 9dcfce271c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -722,7 +722,7 @@ _ (Push (o, i_type, slot));
u16 slot = c_slotUnused;
result = AllocateConstantSlots (o, & slot, i_type);
if (result) // no more constant table space; use inline constants
if (result || slot == c_slotUnused) // no more constant table space; use inline constants
{
result = m3Err_none;

Loading…
Cancel
Save