test(CALL): zero size, huge return at offset, huge call data offset, huge return data offset

[lorenzogentile404]

No description provided.

[OlivierBBB]

This, or something related, should be blowing up in the first of the tests, the one about zeroSizeHugeReturnAtOffset

linea-tracer/arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/transients/OperationAncillaries.java

Lines 164 to 179 in cab035d

	public static MemorySpan returnDataRequestedSegment(final MessageFrame frame) {
	switch (OpCode.of(frame.getCurrentOperation().getOpcode())) {
	case CALL, CALLCODE -> {
	long offset = Words.clampedToLong(frame.getStackItem(5));
	long length = Words.clampedToLong(frame.getStackItem(6));
	return MemorySpan.fromStartLength(offset, length);
	}
	case DELEGATECALL, STATICCALL -> {
	long offset = Words.clampedToLong(frame.getStackItem(4));
	long length = Words.clampedToLong(frame.getStackItem(5));
	return MemorySpan.fromStartLength(offset, length);
	}
	default -> throw new IllegalArgumentException(
	"returnDataRequestedSegment called outside of a *CALL");
	}
	}

⏫ @letypequividelespoubelles @lorenzogentile404 ⏫

[OlivierBBB]

Same

[OlivierBBB]

This doesn't explain the HUB tracing not blowing up 🤔.

[OlivierBBB]

@lorenzogentile404 We also need simple unit tests that trigger this behaviour.

[lorenzogentile404]

At this point, the purpose of this PR is just adding some tests as described in the title. Fixed to MXP tests have been already merged into arith-dev by @DavePearce.