Where is the implementation of `dividedReportingOverflow`?

[xwu (Xiaodi Wu)]

@Nevin

The constant-folding is correct . The code really does include a line equivalent to 42 / 0 . The problem is that this produces a compile-time error, instead of simply substituting a trap instruction.

No, the constant-folding is incorrect. In dividedReportingOverflow, the actual division should never be reached with a denominator of 0, so how can it be correct to fold that into a compiler error?