From patchwork Fri Sep 21 15:05:26 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Philippe Blain via GitGitGadget X-Patchwork-Id: 10610211 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 00E8C5A4 for ; Fri, 21 Sep 2018 15:05:31 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id E39432D996 for ; Fri, 21 Sep 2018 15:05:30 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id D79F42E382; Fri, 21 Sep 2018 15:05:30 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-8.0 required=2.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_HI autolearn=ham version=3.3.1 Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 2AF212D996 for ; Fri, 21 Sep 2018 15:05:30 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2390223AbeIUUyp (ORCPT ); Fri, 21 Sep 2018 16:54:45 -0400 Received: from mail-pg1-f195.google.com ([209.85.215.195]:38191 "EHLO mail-pg1-f195.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728184AbeIUUyo (ORCPT ); Fri, 21 Sep 2018 16:54:44 -0400 Received: by mail-pg1-f195.google.com with SMTP id r77-v6so1061576pgr.5 for ; Fri, 21 Sep 2018 08:05:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:message-id:in-reply-to:references:from:subject:fcc :content-transfer-encoding:mime-version:to:cc; bh=fYMMA950CRxy2o2qf0gK1sG2WTq+fBpdvMGRCNu58Kw=; b=En+Eg0hWg6HbTfwMcz1LRWKYRxLufVZkfRRoC65e2bjpnUxZy43oPkf6W9W5bqW7zQ bW17QNIX1XAfIbB0TJqXFzmAFmh2CaV7IvHkxrNthTPVZ7qWBKT/2kj6jfFK9Guc04LM rnLfIDtpl5B9zA0hNAt7qptpss9/Ow/zU/4gyu9G8hv3eSZu7mGI9CzvObI+a0TBz2uz oJQNK3UoFXNGiwwkgeOAy2mi+lrNHCjWh/G8RnGcGgHpa+6pWaABp90Op2if7L1iv4TN D8oSVv7IgrDHauZ4ytFj2JbtTCHMG4+Jvafy5bgOeioclP5IKIrxGFYFo8XTEd5GnP8O rElA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:message-id:in-reply-to:references:from :subject:fcc:content-transfer-encoding:mime-version:to:cc; bh=fYMMA950CRxy2o2qf0gK1sG2WTq+fBpdvMGRCNu58Kw=; b=dLJURkH6f/aC8CWEUWykggckZ+frpZDDuBDVVSuFYOdRT+x/jBEJmaVRbKHdppBXv5 Hfhs4jCke23CmuvIRFqbqNO/5LnaNgoFl+gFYYiklk/Hz9XTP48QmuXI6pY0UVjtDX69 gxWAk9WfD7hqLvOvmhskItboFptEHiAj0uvvLox4kOf2XYcA9+LFfczZwttxym/100p6 RL6/IeoBjpqhSMfV0epQH60JLZUSUNJQ5CvBOysKHdWg0DaXUojz4dK4pNU7Zuc5tQ98 nIxl52duqthvqhZ209pEpMfoRZM62jJcCHUTc9jGsvz4D7go8akefvog/FywBoT5suPH f9Aw== X-Gm-Message-State: APzg51AEvq2rCVVtAXpSDTv4Z03Gm7Hu6CAJ9H69JdLCWz1Zr0U4q2Sy yKj6RrgAuUIvUPU+CYJ4+EyD2NQ4 X-Google-Smtp-Source: ANB0VdYlVB0vkRhURIl3Oyb0DQokWjsfkiv4vTfwcVSHAvn2fcUqamSPKHsa2FTMdIpLk/EAjHPPYw== X-Received: by 2002:a63:bd01:: with SMTP id a1-v6mr41740154pgf.12.1537542327108; Fri, 21 Sep 2018 08:05:27 -0700 (PDT) Received: from [127.0.0.1] ([40.112.142.204]) by smtp.gmail.com with ESMTPSA id u17-v6sm59618762pfa.176.2018.09.21.08.05.26 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 21 Sep 2018 08:05:26 -0700 (PDT) Date: Fri, 21 Sep 2018 08:05:26 -0700 (PDT) X-Google-Original-Date: Fri, 21 Sep 2018 15:05:21 GMT Message-Id: <0a1e661271660b1fab317aac3997589a94b7c98f.1537542323.git.gitgitgadget@gmail.com> In-Reply-To: References: From: "Derrick Stolee via GitGitGadget" Subject: [PATCH v3 1/2] commit-reach: properly peel tags Fcc: Sent MIME-Version: 1.0 To: git@vger.kernel.org Cc: peff@peff.net, Junio C Hamano , Derrick Stolee Sender: git-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: git@vger.kernel.org X-Virus-Scanned: ClamAV using ClamSMTP From: Derrick Stolee The can_all_from_reach_with_flag() algorithm was refactored in 4fbcca4e "commit-reach: make can_all_from_reach... linear" but incorrectly assumed that all objects provided were commits. During a fetch negotiation, ok_to_give_up() in upload-pack.c may provide unpeeled tags to the 'from' array. The current code creates a segfault. Add a direct call to can_all_from_reach_with_flag() in 'test-tool reach' and add a test in t6600-test-reach.sh that demonstrates this segfault. Correct the issue by peeling tags when investigating the initial list of objects in the 'from' array. Signed-off-by: Jeff King Signed-off-by: Derrick Stolee --- commit-reach.c | 36 +++++++++++++++++++++++++++++------- t/helper/test-reach.c | 22 +++++++++++++++++----- t/t6600-test-reach.sh | 30 ++++++++++++++++++++++++++++-- 3 files changed, 74 insertions(+), 14 deletions(-) diff --git a/commit-reach.c b/commit-reach.c index 86715c103c..e748414d04 100644 --- a/commit-reach.c +++ b/commit-reach.c @@ -544,20 +544,42 @@ int can_all_from_reach_with_flag(struct object_array *from, { struct commit **list = NULL; int i; + int nr_commits; int result = 1; ALLOC_ARRAY(list, from->nr); + nr_commits = 0; for (i = 0; i < from->nr; i++) { - list[i] = (struct commit *)from->objects[i].item; + struct object *from_one = from->objects[i].item; - if (parse_commit(list[i]) || - list[i]->generation < min_generation) - return 0; + if (!from_one || from_one->flags & assign_flag) + continue; + + from_one = deref_tag(the_repository, from_one, + "a from object", 0); + if (!from_one || from_one->type != OBJ_COMMIT) { + /* no way to tell if this is reachable by + * looking at the ancestry chain alone, so + * leave a note to ourselves not to worry about + * this object anymore. + */ + from->objects[i].item->flags |= assign_flag; + continue; + } + + list[nr_commits] = (struct commit *)from_one; + if (parse_commit(list[nr_commits]) || + list[nr_commits]->generation < min_generation) { + result = 0; + goto cleanup; + } + + nr_commits++; } - QSORT(list, from->nr, compare_commits_by_gen); + QSORT(list, nr_commits, compare_commits_by_gen); - for (i = 0; i < from->nr; i++) { + for (i = 0; i < nr_commits; i++) { /* DFS from list[i] */ struct commit_list *stack = NULL; @@ -600,7 +622,7 @@ int can_all_from_reach_with_flag(struct object_array *from, } cleanup: - for (i = 0; i < from->nr; i++) { + for (i = 0; i < nr_commits; i++) { clear_commit_marks(list[i], RESULT); clear_commit_marks(list[i], assign_flag); } diff --git a/t/helper/test-reach.c b/t/helper/test-reach.c index eb21103998..08d2ea68e8 100644 --- a/t/helper/test-reach.c +++ b/t/helper/test-reach.c @@ -31,6 +31,7 @@ int cmd__reach(int ac, const char **av) struct object_id oid_A, oid_B; struct commit *A, *B; struct commit_list *X, *Y; + struct object_array X_obj = OBJECT_ARRAY_INIT; struct commit **X_array; int X_nr, X_alloc; struct strbuf buf = STRBUF_INIT; @@ -49,7 +50,8 @@ int cmd__reach(int ac, const char **av) while (strbuf_getline(&buf, stdin) != EOF) { struct object_id oid; - struct object *o; + struct object *orig; + struct object *peeled; struct commit *c; if (buf.len < 3) continue; @@ -57,14 +59,14 @@ int cmd__reach(int ac, const char **av) if (get_oid_committish(buf.buf + 2, &oid)) die("failed to resolve %s", buf.buf + 2); - o = parse_object(r, &oid); - o = deref_tag_noverify(o); + orig = parse_object(r, &oid); + peeled = deref_tag_noverify(orig); - if (!o) + if (!peeled) die("failed to load commit for input %s resulting in oid %s\n", buf.buf, oid_to_hex(&oid)); - c = object_as_type(r, o, OBJ_COMMIT, 0); + c = object_as_type(r, peeled, OBJ_COMMIT, 0); if (!c) die("failed to load commit for input %s resulting in oid %s\n", @@ -85,6 +87,7 @@ int cmd__reach(int ac, const char **av) commit_list_insert(c, &X); ALLOC_GROW(X_array, X_nr + 1, X_alloc); X_array[X_nr++] = c; + add_object_array(orig, NULL, &X_obj); break; case 'Y': @@ -113,6 +116,15 @@ int cmd__reach(int ac, const char **av) print_sorted_commit_ids(list); } else if (!strcmp(av[1], "can_all_from_reach")) { printf("%s(X,Y):%d\n", av[1], can_all_from_reach(X, Y, 1)); + } else if (!strcmp(av[1], "can_all_from_reach_with_flag")) { + struct commit_list *iter = Y; + + while (iter) { + iter->item->object.flags |= 2; + iter = iter->next; + } + + printf("%s(X,_,_,0,0):%d\n", av[1], can_all_from_reach_with_flag(&X_obj, 2, 4, 0, 0)); } else if (!strcmp(av[1], "commit_contains")) { struct ref_filter filter; struct contains_cache cache; diff --git a/t/t6600-test-reach.sh b/t/t6600-test-reach.sh index d139a00d1d..ae94b27f70 100755 --- a/t/t6600-test-reach.sh +++ b/t/t6600-test-reach.sh @@ -31,7 +31,8 @@ test_expect_success 'setup' ' for i in $(test_seq 1 10) do test_commit "1-$i" && - git branch -f commit-1-$i + git branch -f commit-1-$i && + git tag -a -m "1-$i" tag-1-$i commit-1-$i done && for j in $(test_seq 1 9) do @@ -39,11 +40,13 @@ test_expect_success 'setup' ' x=$(($j + 1)) && test_commit "$x-1" && git branch -f commit-$x-1 && + git tag -a -m "$x-1" tag-$x-1 commit-$x-1 && for i in $(test_seq 2 10) do git merge commit-$j-$i -m "$x-$i" && - git branch -f commit-$x-$i + git branch -f commit-$x-$i && + git tag -a -m "$x-$i" tag-$x-$i commit-$x-$i done done && git commit-graph write --reachable && @@ -205,6 +208,29 @@ test_expect_success 'can_all_from_reach:miss' ' test_three_modes can_all_from_reach ' +test_expect_success 'can_all_from_reach_with_flag: tags case' ' + cat >input <<-\EOF && + X:tag-2-10 + X:tag-3-9 + X:tag-4-8 + X:commit-5-7 + X:commit-6-6 + X:commit-7-5 + X:commit-8-4 + X:commit-9-3 + Y:tag-1-9 + Y:tag-2-8 + Y:tag-3-7 + Y:commit-4-6 + Y:commit-5-5 + Y:commit-6-4 + Y:commit-7-3 + Y:commit-8-1 + EOF + echo "can_all_from_reach_with_flag(X,_,_,0,0):1" >expect && + test_three_modes can_all_from_reach_with_flag +' + test_expect_success 'commit_contains:hit' ' cat >input <<-\EOF && A:commit-7-7 From patchwork Fri Sep 21 15:05:27 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Philippe Blain via GitGitGadget X-Patchwork-Id: 10610213 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 7DDB71709 for ; Fri, 21 Sep 2018 15:05:31 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 6A29F2D996 for ; Fri, 21 Sep 2018 15:05:31 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id 5E4E42E382; Fri, 21 Sep 2018 15:05:31 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-8.0 required=2.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_HI autolearn=ham version=3.3.1 Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 022AF2E32E for ; Fri, 21 Sep 2018 15:05:31 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2390305AbeIUUyq (ORCPT ); Fri, 21 Sep 2018 16:54:46 -0400 Received: from mail-pg1-f194.google.com ([209.85.215.194]:39615 "EHLO mail-pg1-f194.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728184AbeIUUyp (ORCPT ); Fri, 21 Sep 2018 16:54:45 -0400 Received: by mail-pg1-f194.google.com with SMTP id 85-v6so3116011pge.6 for ; Fri, 21 Sep 2018 08:05:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:message-id:in-reply-to:references:from:subject:fcc :content-transfer-encoding:mime-version:to:cc; bh=9o1A6gK2lpR75ydfqNNDKYzqCx33uR6V0jTqUevtWrk=; b=nR8uk2+TEm1itwc8qYUL1fOgnM6fRC0PDW0tDXv/7y6/ZPrSSm1UaE19X1O5QzMSdI sNUaC3sjivRXq/4CrfsPMd9PDeB0BERVpHXe9OZayMTKH79ZxSpRre2GV1IDaeWLRAK/ 439lvs3d5rUi0bQuLKcH1gFB9+KWyENiOdyitGslksv9zFXR7oS4PngKRQazAXx7bfRV kbXUHBNCGHMSSqKndF/05RX2AjSJQXsS2GFohGXaS1D0fy9kJ0dYo1cxnmGt0efwwXmj vYvByyNohyfwFQh9+K1zDJL/pSRmSflXa+Rz9KsdgFtf4UvPskwMz7MePfWIxAWWwgxR dK/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:message-id:in-reply-to:references:from :subject:fcc:content-transfer-encoding:mime-version:to:cc; bh=9o1A6gK2lpR75ydfqNNDKYzqCx33uR6V0jTqUevtWrk=; b=rKZCfV5cIaHlHAMqaif7+kLFGiuyGtApeBOoLIN/vrU5TWT75CG31N/rFiVuh9YPa1 dPUJnXlJsO5bgFj2OgZE43LnIC0Aj2sQbfWOe8PerR9jW096ssaVkhkosSEGujQbIhSD evx5THdU3dZRhbB12WkdyqvbB4hcG3Ah5gLfvhh1SrQF8QAGwSN6hhDa0uqojVSZd2TV CmCqsTkYSG7X1nkNBnR0syBAUyG0YEVc0iEz5fBgyPtXv9vFjl2pbU/F9HfVOXCPBI3d BHD9oo6xk2bLa5ndOfp2xYxHOGi48OK1Oqqm4VperN+uX0tzAMnHBWm7nKkFJK59n3nP ZvNQ== X-Gm-Message-State: APzg51CSFuoQzcSetmccbktneRN54JifLbfHdfyjplNc2gZ2B020GRrl QHYQ7xGx/EfhEEg7hvXUCGo1rlmt X-Google-Smtp-Source: ANB0VdYZbofx5RU8GLzuHj5Sl/rqbtQ/aeTjO0O9O38EUY5zuIfjid5cDjspIZsebr7Nec+HIWq4pQ== X-Received: by 2002:a62:8d16:: with SMTP id z22-v6mr47540878pfd.181.1537542328550; Fri, 21 Sep 2018 08:05:28 -0700 (PDT) Received: from [127.0.0.1] ([40.112.142.204]) by smtp.gmail.com with ESMTPSA id b14-v6sm49181519pfc.178.2018.09.21.08.05.27 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 21 Sep 2018 08:05:27 -0700 (PDT) Date: Fri, 21 Sep 2018 08:05:27 -0700 (PDT) X-Google-Original-Date: Fri, 21 Sep 2018 15:05:22 GMT Message-Id: In-Reply-To: References: From: "Derrick Stolee via GitGitGadget" Subject: [PATCH v3 2/2] commit-reach: fix memory and flag leaks Fcc: Sent MIME-Version: 1.0 To: git@vger.kernel.org Cc: peff@peff.net, Junio C Hamano , Derrick Stolee Sender: git-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: git@vger.kernel.org X-Virus-Scanned: ClamAV using ClamSMTP From: Derrick Stolee The can_all_from_reach_with_flag() method uses 'assign_flag' as a value we can use to mark objects temporarily during our commit walk. The intent is that these flags are removed from all objects before returning. However, this is not the case. The 'from' array could also contain objects that are not commits, and we mark those objects with 'assign_flag'. Add a loop to the 'cleanup' section that removes these markers. Also, we forgot to free() the memory for 'list', so add that to the 'cleanup' section. Signed-off-by: Derrick Stolee --- commit-reach.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/commit-reach.c b/commit-reach.c index e748414d04..5a845440a9 100644 --- a/commit-reach.c +++ b/commit-reach.c @@ -626,6 +626,11 @@ cleanup: clear_commit_marks(list[i], RESULT); clear_commit_marks(list[i], assign_flag); } + free(list); + + for (i = 0; i < from->nr; i++) + from->objects[i].item->flags &= ~assign_flag; + return result; }