The Pascal compiler company
6.7.2.2 A term of the form i div j is an error if j is zero.
In other words, for integer division, it is an error if the denominator is zero.
This error is always reported.