In general, the C standard only requires a diagnostic for constraint violations.