`A0-4-4`: More domain cases

[lcartey]

Affected rules

• A0-4-4

Description

There are a number of math function domain errors we didn't previously capture, because they result in unspecified or undefined behaviour:

• abs on "the most negative number" is undefined behaviour.
• The second parameter of fmod should not be zero.
• l?lrint[fl]? and l?lround[fl]? where the rounded input value is outside the range of the return type.
• frexp on NaN or infinity

[lcartey]

pole error on log of 0?

[lcartey]

In general we seem to be missing all the pole cases.