Translate void volatile * to System.Address in Ada
Re-add __DBL_DENORM_MIN__ into known error list because underflow