Skip to content

dat: make elided data local - #3598

Merged
ribbanya merged 1 commit into
doldecomp:masterfrom
ribbanya:pr/dat
Oct 1, 2026
Merged

ribbanya merged 1 commit into
doldecomp:masterfrom
ribbanya:pr/dat

Conversation

@ribbanya

@ribbanya ribbanya commented Oct 1, 2026 •

Copy link
Copy Markdown
Collaborator

Elided data, which the samples point to but the C doesn't define, is
unnamed in the archive, but both objects made it global because the
generated C declares it extern. In .1.inferred, where everything but
the publics is elided data, objdiff showed most symbols with the wrong
scope.

Only public symbols are global now. The base's extern references to
elided data stay undefined, and objdiff compares relocations to undefined
symbols by name, so the samples still match (13627/13629) and objdiff's
measures are unchanged.

🤖 Generated with Claude Code

Elided data, which the samples point to but the C doesn't define, is
unnamed in the archive, but both objects made it global because the
generated C declares it extern. In .1.inferred, where everything but
the publics is elided data, objdiff showed most symbols with the wrong
scope.

Only public symbols are global now. The base's extern references to
elided data stay undefined, and objdiff compares relocations to undefined
symbols by name, so the samples still match (13627/13629) and objdiff's
measures are unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@ribbanya
ribbanya merged commit 281424e into doldecomp:master Oct 1, 2026
10 checks passed
@ribbanya
ribbanya deleted the pr/dat branch October 1, 2026 04:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant