Skip to content

cf: fully structurize functions that never return, as well. - #38

Draft
eddyb wants to merge 1 commit into
eddyb/undeffrom
eddyb/structurize-noret
Draft

eddyb wants to merge 1 commit into
eddyb/undeffrom
eddyb/structurize-noret

Conversation

@eddyb

@eddyb eddyb commented Apr 22, 2026

Copy link
Copy Markdown
Member

Note: this PR is a draft to avoid accidental merging onto its "base" branch (used as a form of ad-hoc PR stacking), and will remain as such, until its "base" branch can be set to main, i.e. all prerequisite PRs will have landed, up to and including this PR (whose branch is the "base" of this one):


This was a small oversight - if a function never returned, structurization didn't even have the necessary type(s) to create undef constant(s) to fill the function body's outputs, so it left such functions partially unstructured.

The fix is mainly to pass the whole FuncDecl in, not just the FuncDefBody, giving access to the signature.

@eddyb
eddyb force-pushed the eddyb/structurize-noret branch from ac75d66 to 00bc398 Compare October 9, 2026 16:29
@eddyb
eddyb force-pushed the eddyb/structurize-noret branch 2 times, most recently from 3e11d68 to ddd8786 Compare October 12, 2026 10:56
@eddyb
eddyb force-pushed the eddyb/structurize-noret branch from ddd8786 to 5729473 Compare October 12, 2026 11:03
@eddyb
eddyb force-pushed the eddyb/structurize-noret branch from 5729473 to f8d388e Compare October 12, 2026 14:41
@eddyb
eddyb force-pushed the eddyb/structurize-noret branch from f8d388e to 84dab26 Compare October 12, 2026 14:46
@eddyb
eddyb added this pull request to stack #53 October 12, 2026 15:08

This branch has not been deployed

No deployments
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