Skip to content

Fix unused declaration member resolution#574

Closed
Kuhai9801 wants to merge 1 commit into
project-llzk:mainfrom
Kuhai9801:codex/fix-issue-562-member-resolution
Closed

Fix unused declaration member resolution#574
Kuhai9801 wants to merge 1 commit into
project-llzk:mainfrom
Kuhai9801:codex/fix-issue-562-member-resolution

Conversation

@Kuhai9801

Copy link
Copy Markdown
Contributor

Summary

Fix llzk-unused-declaration-elim so struct.readm and struct.writem keep member liveness keyed to the resolved MemberDefOp instead of reconstructed symbol text.

This preserves live members when nested LLZK component roots make read/write type references relative to their local symbol table.

Fixes #562

@Kuhai9801 Kuhai9801 force-pushed the codex/fix-issue-562-member-resolution branch from c338065 to d984544 Compare July 1, 2026 15:43
@Kuhai9801 Kuhai9801 changed the title [codex] Fix unused declaration member resolution Fix unused declaration member resolution Jul 2, 2026
@Kuhai9801 Kuhai9801 closed this Jul 2, 2026
@Kuhai9801 Kuhai9801 deleted the codex/fix-issue-562-member-resolution branch July 2, 2026 01:31
@Kuhai9801 Kuhai9801 restored the codex/fix-issue-562-member-resolution branch July 2, 2026 01:39
@Kuhai9801 Kuhai9801 reopened this Jul 2, 2026
@Kuhai9801 Kuhai9801 closed this Jul 2, 2026
@Kuhai9801 Kuhai9801 deleted the codex/fix-issue-562-member-resolution branch July 2, 2026 03:18
@Kuhai9801 Kuhai9801 restored the codex/fix-issue-562-member-resolution branch July 2, 2026 03:19
@Kuhai9801 Kuhai9801 reopened this Jul 2, 2026
@Kuhai9801

Copy link
Copy Markdown
Contributor Author

Superseded by #580 to use a clean branch and changelog filename.

@Kuhai9801 Kuhai9801 closed this Jul 2, 2026
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.

llzk-unused-declaration-elim can remove struct members that still have read/write

1 participant