[PATCH v2 0/7] Fix and improve some error codepaths in merge-ort

Elijah Newren via GitGitGadget
2024-06-19T03:00:24Z

Changes since v1:

* Remove the conditional outside of move_opt_priv_to_result_priv() for
patches 1 & 2
* Fix the consistency issues in patch 6 (refer to updated enum value in
comment, use consistent prefix on error messages)
* Fix typo in patch 2
* Fix incorrect claim in commit message of patch 2 and provide more detail
about which merges we are interested in checking for a very specific exit
code.

This series started as a just a fix for the abort hit in merge-ort when
custom merge drivers error out (see
https://lore.kernel.org/git/75F8BD12-7743-4863-B4C5-049FDEC4645E@gearset.com/).
However, while working on that, I found a few other issues around error
codepaths in merge-ort. So this series:

* Patches 1-2: fix the reported abort problem
* Patches 3-4: make code in handle_content_merges() easier to handle when
we hit errors
* Patch 5: fix a misleading comment
* Patches 6-7: make error handling (immediate print vs. letting callers get
the error information) more consistent

The last two patches change the behavior slightly for error codepaths, and
there's a question about whether we should show only the error messages that
caused an early termination of the merge, or if we should also show any
conflict messages for other paths that were handled before we hit the early
termination. These patches made a decision but feel free to take those last
two patches as more of an RFC.

Elijah Newren (7):
merge-ort: extract handling of priv member into reusable function
merge-ort: maintain expected invariant for priv member
merge-ort: fix type of local 'clean' var in handle_content_merge()
merge-ort: clearer propagation of failure-to-function from
merge_submodule
merge-ort: loosen commented requirements
merge-ort: upon merge abort, only show messages causing the abort
merge-ort: convert more error() cases to path_msg()

merge-ort.c | 168 +++++++++++++++++++++++++++++++-----------
t/t6406-merge-attr.sh | 42 ++++++++++-
2 files changed, 164 insertions(+), 46 deletions(-)

base-commit: 8d94cfb54504f2ec9edc7ca3eb5c29a3dd3675ae
Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-1748%2Fnewren%2Ffix-error-cases-v2
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-1748/newren/fix-error-cases-v2
Pull-Request: https://github.com/gitgitgadget/git/pull/1748

Range-diff vs v1:

1: d4ba1fccd91 ! 1: 5c50c0b3aad merge-ort: extract handling of priv member into reusable function
@@ merge-ort.c: static void merge_check_renames_reusable(struct merge_result *resul
+ * to move it.
+ */
+ assert(opt->priv && !result->priv);
-+ if (!opt->priv->call_depth) {
-+ result->priv = opt->priv;
-+ result->_properly_initialized = RESULT_INITIALIZED;
-+ opt->priv = NULL;
-+ }
++ result->priv = opt->priv;
++ result->_properly_initialized = RESULT_INITIALIZED;
++ opt->priv = NULL;
+}
+
/*
@@ merge-ort.c: static void merge_ort_nonrecursive_internal(struct merge_options *o
- result->_properly_initialized = RESULT_INITIALIZED;
- opt->priv = NULL;
- }
-+ move_opt_priv_to_result_priv(opt, result);
++ if (!opt->priv->call_depth)
++ move_opt_priv_to_result_priv(opt, result);
}

/*
2: 17c97301baa ! 2: d1adec6d105 merge-ort: maintain expected invariant for priv member
@@ Commit message
Both merge_switch_to_result() and merge_finalize() expect
opt->priv == NULL && result->priv != NULL
which is supposed to be set up by our move_opt_priv_to_result_priv()
- function. However, two codepath dealing with error cases did not
+ function. However, two codepaths dealing with error cases did not
execute this necessary logic, which could result in assertion failures
(or, if assertions were compiled out, could result in segfaults). Fix
the oversight and add a test that would have caught one of these
problems.

While at it, also tighten an existing test for a non-recursive merge
- to verify that it fails correctly, i.e. with the expected exit code
- rather than with an assertion failure.
+ to verify that it fails with appropriate status. Most merge tests in
+ the testsuite check either for success or conflicts; those testing for
+ neither are rare and it is good to ensure they support the invariant
+ assumed by builtin/merge.c in this comment:
+ /*
+ * The backend exits with 1 when conflicts are
+ * left to be resolved, with 2 when it does not
+ * handle the given merge at all.
+ */
+ So, explicitly check for the exit status of 2 in these cases.

Reported-by: Matt Cree <matt.cree@gearset.com>
Signed-off-by: Elijah Newren <newren@gmail.com>

## merge-ort.c ##
-@@ merge-ort.c: static void move_opt_priv_to_result_priv(struct merge_options *opt,
- * to move it.
- */
- assert(opt->priv && !result->priv);
-- if (!opt->priv->call_depth) {
-+ if (!opt->priv->call_depth || result->clean < 0) {
- result->priv = opt->priv;
- result->_properly_initialized = RESULT_INITIALIZED;
- opt->priv = NULL;
@@ merge-ort.c: static void merge_ort_nonrecursive_internal(struct merge_options *opt,
oid_to_hex(&side1->object.oid),
oid_to_hex(&side2->object.oid));
@@ merge-ort.c: static void merge_ort_nonrecursive_internal(struct merge_options *o
return;
}
trace2_region_leave("merge", "collect_merge_info", opt->repo);
+@@ merge-ort.c: static void merge_ort_nonrecursive_internal(struct merge_options *opt,
+ /* existence of conflicted entries implies unclean */
+ result->clean &= strmap_empty(&opt->priv->conflicted);
+ }
+- if (!opt->priv->call_depth)
++ if (!opt->priv->call_depth || result->clean < 0)
+ move_opt_priv_to_result_priv(opt, result);
+ }
+

## t/t6406-merge-attr.sh ##
@@ t/t6406-merge-attr.sh: test_expect_success !WINDOWS 'custom merge driver that is killed with a signal'
3: 23bb3386114 = 3: 034b91db1d2 merge-ort: fix type of local 'clean' var in handle_content_merge()
4: 2789c58cd3f = 4: 2813a15b48b merge-ort: clearer propagation of failure-to-function from merge_submodule
5: 975fbddf305 = 5: 750acae4dba merge-ort: loosen commented requirements
6: 71391b18c1a ! 6: 6756956d0c7 merge-ort: upon merge abort, only show messages causing the abort
@@ merge-ort.c: enum conflict_and_info_types {
+
+ /*
+ * Something is seriously wrong; cannot even perform merge;
-+ * Keep this group _last_ other than NB_CONFLICT_TYPES
++ * Keep this group _last_ other than NB_TOTAL_TYPES
+ */
+ ERROR_SUBMODULE_CORRUPT,

@@ merge-ort.c: static int merge_submodule(struct merge_options *opt,
- path_msg(opt, CONFLICT_SUBMODULE_CORRUPT, 0,
+ path_msg(opt, ERROR_SUBMODULE_CORRUPT, 0,
path, NULL, NULL, NULL,
- _("Failed to merge submodule %s "
+- _("Failed to merge submodule %s "
++ _("error: failed to merge submodule %s "
"(repository corrupt)"),
+ path);
+ ret = -1;
@@ merge-ort.c: static int merge_submodule(struct merge_options *opt,
}
ret2 = repo_in_merge_bases(&subrepo, commit_b, commit_a);
7: 32ae44b6260 ! 7: 500433edf49 merge-ort: convert more error() cases to path_msg()
@@ Commit message

## merge-ort.c ##
@@ merge-ort.c: enum conflict_and_info_types {
- * Keep this group _last_ other than NB_CONFLICT_TYPES
+ * Keep this group _last_ other than NB_TOTAL_TYPES
*/
ERROR_SUBMODULE_CORRUPT,
+ ERROR_THREEWAY_CONTENT_MERGE_FAILED,

--
gitgitgadget