GP-0: Guard the buffer truncation with Reason.EXECUTE_DECODE

This commit is contained in:
Dan 2023-04-03 09:33:55 -04:00
parent 88d0110a09
commit deaa24a496

View file

@ -185,6 +185,11 @@ public class BytesPcodeExecutorStateSpace<B> {
}
}
/**
* The decoder will buffer ahead, so give it as much as we can, but no more than is actually
* initialized. If it's a (non-decode) read, give it everything, but invoke the warning.
*/
if (reason == Reason.EXECUTE_DECODE) {
Iterator<ULongSpan> it =
uninitialized.complement(ULongSpan.extent(offset, size)).iterator();
if (it.hasNext()) {
@ -193,6 +198,7 @@ public class BytesPcodeExecutorStateSpace<B> {
return readBytes(offset, (int) init.length(), reason);
}
}
}
if (reason == Reason.EXECUTE_READ) {
warnUninit(uninitialized);