Using mulmod for division by zero did not throw an error, resulting in an incorrect return value.

[Subway2023]

Version: v0.3.3: v0.3.3-70-g32a45ea1
Description: solc + EVM encounters a division by zero error and throws an exception. However, solang + SVM does not throw an error and instead returns 0.

contract TestMulMod {
    function triggerError() external pure returns (uint256) {
        uint256 x = 10;
        uint256 y = 20;
        uint256 k = 0; // Division by zero

        uint256 result = mulmod(x, y, k);
        return result;
    }
}

solc+evm

call to TestMulMod.triggerError errored: Error occurred: revert.

solang+svm

result: 0x0000000000000000000000000000000000000000000000000000000000000000