MultiExceptionTests

[amkCha]

Follow up on the OOGX task #1783

MultiExceptionsTest could have a simple test where one triggers simultaneously

• for outOfGasExceptionLog0, see https://github.com/Consensys/linea-tracer/pull/1783/files#r1962176828

staticException
outOfGasException

or

staticException
stackUnderflowException

One needs two smart contracts with byte code

BytecodeCompiler simpleLog0 = BytecodeCompiler.newProgram();
simpleLog0.push(0).push(0).op(LOG0);

BytecodeCompiler stackUnderflowLog0 = BytecodeCompiler.newProgram();
stackUnderflowLog0.push(0).op(LOG0);

Which are called upon through a STATICCALL with gas = 3 + 3 + 375 + cornerCase / gas = 3 + 375 + cornerCase.

• for outOfGasExceptionJumpi, see https://github.com/Consensys/linea-tracer/pull/1783/files#r1962163327

test simultaneous exceptions, in this case:

jumpException
outOfGasException

And it would be trivial to implement, just switch the second push to

    final Bytes bytecode =
        BytecodeCompiler.newProgram()
            .push(1) // pc = 0, 1
            .push(6) // pc = 2, 3
            // ...

• for outOfGasExceptionReturnDataCopy, see https://github.com/Consensys/linea-tracer/pull/1783/files#r1962067971

add a variant of the above where we do the following

program
        .push(0) // byte size of return data
        .push(0) // retOffset
        .push(0) // byte size calldata
        .push(0) // argsOffset
        .op("c0de") // address of 'return data provider' account
        .op(OpCode.GAS) // gas
        .op(OpCode.STATICCALL)
        // 3. Clean the stack
        .op(OpCode.POP)
        // 4. Doubly exceptional return data copy
        .op(OpCode.RETURNDATASIZE)
        .push(1)
        .op(OpCode.ADD); // size = RDS + 1, which will trigger the `returnDataCopyException`
        .push(0) // offset
        .push(65) // destoffset, trigger mem expansion
        .op(OpCode.RETURNDATACOPY);

We could name this test to doubleExceptionReturnDataCopyTestOogxAndRdcx. We have so far not written tests where we deliberately trigger several exceptions at once.

[OlivierBBB]

In terms of multi-exceptions testing we ideally produce a test for every

• opcode that can produce 2 or more non stack exceptions
• every subset of size 2, 3, ... of the possible (non stack) exceptions