isl_ctx_reset_error: handle NULL input