This is an archive of the discontinued Mercurial Phabricator instance.

Differential D11879

simplemerge: stop merging file flags
ClosedPublic

Authored by martinvonz on Dec 7 2021, 12:02 PM.

Details

Reviewers
marmoute
Alphare
Group Reviewers
hg-reviewers
Commits
rHG58a3be48ddd2: simplemerge: stop merging file flags
Summary

As 384df4db6520 (merge: merge file flags together with file content,
2013-01-09) explains, we shouldn't do a 3-way merge of the
symlink. However, since 84614212ae39 (flags: actually merge flags in
simplemerge, 2020-05-16), we do that in
simplemerge.simplemerge(). What's more, the merging of the
executable flag there isn't actually necessary; it was made a no-op by
the very next commit, i.e. 4234c9af515d (flags: read flag from
dirstate/disk for workingcopyctx (issue5743), 2020-05-16).

I found the overall flag-merging code (not the bit in
simplemerge.py) very hard to follow, but I think I now finally
understand how it works. mergestate.resolve() calculates the merged
file flags and sets them on the local side of the merge (confusingly
by calling _restore_backup()). Then it calls
filemerge.filemerge(), which in turn calls
simplemerge.simplemerge() (if premerge is enabled). That means that
the flags on the local side fcs.flags() are already correct when the
flag-merging code in simplemerge.simplemerge() runs. Interestingly,
that code still works when the local side already has the merged
value, it just doesn't change the value. Here's a truth table to
explain why:

BLOMCAR
0000000
0011111
0101011
0111111
1000000
1010000
1100000
1111101

B: Base
L: Local
O: Other
M: Merged flags from mergestate.resolve(), i.e. what's called "local"

when we get to `simplemerge.simplemerge()`

C: commonflags in simplemerge.simplemerge(), i.e. M & O
A: addedflags in simplemerge.simplemerge(), i.e. (M ^ O) - B
R: Re-merged flags simplemerge.simplemerge(), i.e. C | A

As you can see, the re-merged flags are always unchanged compared to
the initial merged flags (R equals M).

Therefore, this patch effectively backs out 84614212ae39. (I might
later refactor this code to have the flags explicitly passed in.)

simplemerge.simplemerge() is also called from
contrib/simplemerge.py, but that code never passes any flags.

Diff Detail

Repository
rHG Mercurial
Branch
default
Lint
No Linters Available
Unit
No Unit Test Coverage

Event Timeline

martinvonz created this revision.Dec 7 2021, 12:02 PM
marmoute added a subscriber: marmoute.Dec 7 2021, 12:07 PM

I'll have a deeper look to @martinvonz comment to double check what is going on here.

martinvonz added a comment.Dec 7 2021, 12:12 PM
In D11879#182170, @marmoute wrote:

I'll have a deeper look to @martinvonz comment to double check what is going on here.

?

marmoute accepted this revision.Dec 16 2021, 3:26 PM

Thanks for your patience/

I had a deeper looks and that seems correct. I agree that Martin that this logic is messy and probably need a refactoring. If you could follow up with a comment pointing out what is going on flag-wise in simplemerge.py, that would be great.

martinvonz added a comment.Dec 16 2021, 3:58 PM
In D11879#182993, @marmoute wrote:

Thanks for your patience/

No problem, this code took me a while to understand.

If you could follow up with a comment pointing out what is going on flag-wise in simplemerge.py, that would be great.

For now, I just added that comment saying that the flag-merging happens in mergestate.resolve() (I added that already before your request, I mean). There isn't any flag-merging going on in simplemerge.py after this patch. What would the comment you're thinking of say?

I have considered having simplemerge() just return the merged text instead. If I do that, it becomes obvious that flags are not merged and I'll remove the comment added in this patch.

marmoute added a comment.Dec 17 2021, 4:26 AM
In D11879#182994, @martinvonz wrote:
In D11879#182993, @marmoute wrote:

Thanks for your patience/

No problem, this code took me a while to understand.

If you could follow up with a comment pointing out what is going on flag-wise in simplemerge.py, that would be great.

For now, I just added that comment saying that the flag-merging happens in mergestate.resolve() (I added that already before your request, I mean). There isn't any flag-merging going on in simplemerge.py after this patch. What would the comment you're thinking of say?

I was thinking about that comment. Thanks goes to your past self to fullfilling this request before I phrased it :-)

Alphare accepted this revision.Dec 17 2021, 5:54 AM
Alphare added a subscriber: Alphare.

Looks like we're happy!

This revision is now accepted and ready to land.Dec 17 2021, 5:54 AM
martinvonz added a commit: rHG58a3be48ddd2: simplemerge: stop merging file flags.Dec 20 2021, 4:36 AM
Closed by commit rHG58a3be48ddd2: simplemerge: stop merging file flags (authored by martinvonz). · Explain Why
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathPackages
Mmercurial/simplemerge.py (22 lines)

Diff 31361

mercurial/simplemerge.py

# along with this program; if not, see <http://www.gnu.org/licenses/>. # along with this program; if not, see <http://www.gnu.org/licenses/>.
# mbp: "you know that thing where cvs gives you conflict markers?" # mbp: "you know that thing where cvs gives you conflict markers?"
# s: "i hate that." # s: "i hate that."
from __future__ import absolute_import from __future__ import absolute_import
from .i18n import _ from .i18n import _
from .node import nullrev
from . import ( from . import (
error, error,
mdiff, mdiff,
pycompat, pycompat,
util,
) )
from .utils import stringutil from .utils import stringutil
class CantReprocessAndShowBase(Exception): class CantReprocessAndShowBase(Exception):
pass pass
if len(overrides) > 3: if len(overrides) > 3:
raise error.Abort(_(b"can only specify three labels.")) raise error.Abort(_(b"can only specify three labels."))
result = defaults[:] result = defaults[:]
for i, override in enumerate(overrides): for i, override in enumerate(overrides):
result[i] = override result[i] = override
return result return result
def is_not_null(ctx):
if not util.safehasattr(ctx, "node"):
return False
return ctx.rev() != nullrev
def _mergediff(m3, name_a, name_b, name_base): def _mergediff(m3, name_a, name_b, name_base):
lines = [] lines = []
conflicts = False conflicts = False
for group in m3.merge_groups(): for group in m3.merge_groups():
if group[0] == b'conflict': if group[0] == b'conflict':
base_lines, a_lines, b_lines = group[1:] base_lines, a_lines, b_lines = group[1:]
base_text = b''.join(base_lines) base_text = b''.join(base_lines)
b_blocks = list( b_blocks = list(
else: else:
lines = list( lines = list(
m3.merge_lines( m3.merge_lines(
name_a=name_a, name_b=name_b, **pycompat.strkwargs(extrakwargs) name_a=name_a, name_b=name_b, **pycompat.strkwargs(extrakwargs)
) )
) )
conflicts = m3.conflicts and not mode == b'union' conflicts = m3.conflicts and not mode == b'union'
# merge flags if necessary
flags = localctx.flags()
localflags = set(pycompat.iterbytestr(flags))
otherflags = set(pycompat.iterbytestr(otherctx.flags()))
if is_not_null(basectx) and localflags != otherflags:
baseflags = set(pycompat.iterbytestr(basectx.flags()))
commonflags = localflags & otherflags
addedflags = (localflags ^ otherflags) - baseflags
flags = b''.join(sorted(commonflags | addedflags))
mergedtext = b''.join(lines) mergedtext = b''.join(lines)
if opts.get('print'): if opts.get('print'):
ui.fout.write(mergedtext) ui.fout.write(mergedtext)
else: else:
localctx.write(mergedtext, flags) # localctx.flags() already has the merged flags (done in
# mergestate.resolve())
localctx.write(mergedtext, localctx.flags())
if conflicts: if conflicts:
return 1 return 1