Description

When performing a Division or Modulo by Zero using the long notation, the compiler reports the 'Division by Zero' or 'Modulo zero' error. When performing the same operations using the shorthand '/=' or '%=' operators, the compiler does not raise any errors, and instead the operation will cause a revert at runtime.
As the shorthand notation is semantically equivalent to the longer syntax, both should produce the same behaviour.

Environment

• Compiler version: 0.8.23
• Target EVM version (as per compiler settings): Shanghai
• Framework/IDE (e.g. Truffle or Remix): Remix
• EVM execution environment / backend / blockchain client: Remix VM
• Operating system: macOS 14.1

Steps to Reproduce

The following two contracts will produce an error on compilation:

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.23;
contract DivisionByZero {
    function test() public pure returns (uint8) {
        uint8 num = 1;
        num = num / 0;
        return num;
    }
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.23;
contract ModuloByZero {
    function test() public pure returns (uint8) {
        uint8 num = 1;
        num = num % 0;
        return num;
    }
}

The following two contracts will compile successfully, and instead revert when calling the function test()

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.23;
contract DivisionByZeroShorthand {
    function test() public pure returns (uint8) {
        uint8 num = 1;
        num /= 0;
        return num;
    }
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.23;
contract ModuloByZeroShorthand {
    function test() public pure returns (uint8) {
        uint8 num = 1;
        num %= 0;
        return num;
    }
}