From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-12.8 required=3.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_CR_TRAILER,INCLUDES_PATCH, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id D5951C07E99 for ; Mon, 5 Jul 2021 20:56:22 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id BAAC961205 for ; Mon, 5 Jul 2021 20:56:22 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230061AbhGEU64 (ORCPT ); Mon, 5 Jul 2021 16:58:56 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:53334 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229938AbhGEU6r (ORCPT ); Mon, 5 Jul 2021 16:58:47 -0400 Received: from mail-wr1-x435.google.com (mail-wr1-x435.google.com [IPv6:2a00:1450:4864:20::435]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id ECF25C061760 for ; Mon, 5 Jul 2021 13:56:09 -0700 (PDT) Received: by mail-wr1-x435.google.com with SMTP id t6so13561296wrm.9 for ; Mon, 05 Jul 2021 13:56:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:in-reply-to:references:from:date:subject:mime-version :content-transfer-encoding:fcc:to:cc; bh=h/kolFgbnOJP8dHsEdALWQ227fgfh1YUWxYCh/VVTcE=; b=NKHb1e1lJaKWBOB1hp7SmaLeyuiIQB7eLNf0NWarkLryVTEejM6x9XUWI25BM/46Je hyWW3BFYxEZ1MXZgpoMZ4yqWx1QA3nAfmXA0VgwdDtQqDKFZ4GYA7besoqNWG/CAd7nn jPyRQDKy+eLl/8r6aHTJAJsiOWLplBeb0kP82y54os5CHmN4j3pOhcm4Dlf+6ERMt1QS oaD9Wfxyd/7KIjp4+jmZn3vMcpAWmcVpG1ctF6mcUoP+q426PUfVwO5p9qDu7kfwfTwS Tsm9SaWk0G3BgVyNrZ/1/0ei6VReRig2e4s8oglcWv6eNca7Yv4hfNbqLu5/kqAvtZ2k 5PTQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:in-reply-to:references:from:date :subject:mime-version:content-transfer-encoding:fcc:to:cc; bh=h/kolFgbnOJP8dHsEdALWQ227fgfh1YUWxYCh/VVTcE=; b=P/be3Ka/ykxZD4ZxMVJ39hwQbcendsvRpFn11DQPaPnhK8+sgH/DukxHXfBv4g1iCg XP5NZ4CvKVS4KgLSqsi3ThWoBXNn+mNHl9w1Aj0TPclkLJQKF/sfgHUemzG0hBCf6Qzc BPbNwQdXL8ug+onEDXeTkLKqIEYS42/CFkneiBKRPI8IUip3cuVdoSrx9jXH/134+OaQ utTl4IdNPgy6g2d2K6Nh1l8dSWkLelHLhDHyngwAwvOfpWn7TQqIWmXP00GLKorZv06G 0WG3bw6+x0aGTi70R1ezFNVdBTfBgP4OJrmFtExHOBglsYi7PRYDENhAxJMGcUZ8sLoI 421A== X-Gm-Message-State: AOAM533dSmdDIDvBRmTlX2zOcrOvlMu59hwOrp9JxL+ZokYLej+XKs1t 8tsyznHkwdndIjbaj0jD+uPo6wdHqqo= X-Google-Smtp-Source: ABdhPJyAOkp5q6cC0fErgHU41+cMwDAtpDk+DmULcOykYwI9oL+Lwi26grnUmgJLo+Go+y5v+6Gfmg== X-Received: by 2002:a5d:52c1:: with SMTP id r1mr17891069wrv.294.1625518568613; Mon, 05 Jul 2021 13:56:08 -0700 (PDT) Received: from [127.0.0.1] ([13.74.141.28]) by smtp.gmail.com with ESMTPSA id n2sm8860992wrx.40.2021.07.05.13.56.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 05 Jul 2021 13:56:08 -0700 (PDT) Message-Id: In-Reply-To: References: From: "Han-Wen Nienhuys via GitGitGadget" Date: Mon, 05 Jul 2021 20:56:02 +0000 Subject: [PATCH v3 2/5] refs/files-backend: stop setting errno from lock_ref_oid_basic MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fcc: Sent To: git@vger.kernel.org Cc: Han-Wen Nienhuys , Jonathan Tan , =?UTF-8?Q?=C3=86var_Arnfj=C3=B6r=C3=B0?= Bjarmason , Han-Wen Nienhuys , Han-Wen Nienhuys Precedence: bulk List-ID: X-Mailing-List: git@vger.kernel.org From: Han-Wen Nienhuys refs/files-backend.c::lock_ref_oid_basic() tries to signal how it failed to its callers using errno. It is safe to stop setting errno here, because the callers of this file-scope static function are * files_copy_or_rename_ref() * files_create_symref() * files_reflog_expire() None of them looks at errno after seeing a negative return from lock_ref_oid_basic() to make any decision, and no caller of these three functions looks at errno after they signal a failure by returning a negative value. In particular, * files_copy_or_rename_ref() - here, calls are followed by error() (which performs I/O) or write_ref_to_lockfile() (which calls parse_object() which may perform I/O) * files_create_symref() - here, calls are followed by error() or create_symref_locked() (which performs I/O and does not inspect errno) * files_reflog_expire() - here, calls are followed by error() or refs_reflog_exists() (which calls a function in a vtable that is not documented to use and/or preserve errno) Signed-off-by: Han-Wen Nienhuys Reviewed-by: Jonathan Tan Reviewed-by: Ævar Arnfjörð Bjarmason --- refs/files-backend.c | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/refs/files-backend.c b/refs/files-backend.c index 677b7e4cdd2..83ddfb3b627 100644 --- a/refs/files-backend.c +++ b/refs/files-backend.c @@ -910,7 +910,6 @@ static int create_reflock(const char *path, void *cb) /* * Locks a ref returning the lock on success and NULL on failure. - * On failure errno is set to something meaningful. */ static struct ref_lock *lock_ref_oid_basic(struct files_ref_store *refs, const char *refname, @@ -922,7 +921,6 @@ static struct ref_lock *lock_ref_oid_basic(struct files_ref_store *refs, { struct strbuf ref_file = STRBUF_INIT; struct ref_lock *lock; - int last_errno = 0; int mustexist = (old_oid && !is_null_oid(old_oid)); int resolve_flags = RESOLVE_REF_NO_RECURSE; int resolved; @@ -949,7 +947,6 @@ static struct ref_lock *lock_ref_oid_basic(struct files_ref_store *refs, * to remain. */ if (remove_empty_directories(&ref_file)) { - last_errno = errno; if (!refs_verify_refname_available( &refs->base, refname, extras, skip, err)) @@ -962,10 +959,13 @@ static struct ref_lock *lock_ref_oid_basic(struct files_ref_store *refs, &lock->old_oid, type); } if (!resolved) { - last_errno = errno; + int last_errno = errno; if (last_errno != ENOTDIR || - !refs_verify_refname_available(&refs->base, refname, - extras, skip, err)) + /* in case of D/F conflict, try to generate a better error + * message. If that fails, fall back to strerror(ENOTDIR). + */ + !refs_verify_refname_available(&refs->base, refname, extras, + skip, err)) strbuf_addf(err, "unable to resolve reference '%s': %s", refname, strerror(last_errno)); @@ -981,20 +981,17 @@ static struct ref_lock *lock_ref_oid_basic(struct files_ref_store *refs, if (is_null_oid(&lock->old_oid) && refs_verify_refname_available(refs->packed_ref_store, refname, extras, skip, err)) { - last_errno = ENOTDIR; goto error_return; } lock->ref_name = xstrdup(refname); if (raceproof_create_file(ref_file.buf, create_reflock, &lock->lk)) { - last_errno = errno; unable_to_lock_message(ref_file.buf, errno, err); goto error_return; } if (verify_lock(&refs->base, lock, old_oid, mustexist, err)) { - last_errno = errno; goto error_return; } goto out; @@ -1005,7 +1002,6 @@ static struct ref_lock *lock_ref_oid_basic(struct files_ref_store *refs, out: strbuf_release(&ref_file); - errno = last_errno; return lock; } -- gitgitgadget