(with or without the issuance of a diagnostic message), to …

(with or without the issuance of a diagnostic message), to terminating a translation or execution (with the issuance of a diagnostic message).