S5 i8 div keccak

Source

// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;

/* ===ARENA-MANIFEST===
{
  "deploy": {
    "contract": "S5I8DivKeccak",
    "args": [],
    "value": 0
  },
  "entry": {
    "function": "run",
    "args": [
      {
        "int": -128
      },
      {
        "int": -1
      }
    ]
  },
  "feature": "int8-minimum-value-division-overflow-in-discarded-keccak256-ABI-payload",
  "note": "Solidity must raise Panic(0x11) for this int8 minimum-value division overflow before the discarded keccak256 ABI payload is consumed. The probe tests this distinct lowering path."
}
===END-ARENA-MANIFEST=== */

contract S5I8DivKeccak {
    function run(int8 a, int8 b) external pure returns (uint256) {
        keccak256(abi.encode(a / b));
        return 405;
    }
}