Skip to content

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

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

cf: fully structurize functions that never return, as well.#38
eddyb wants to merge 1 commit intoeddyb/undeffrom
eddyb/structurize-noret

Conversation

@eddyb
Copy link
Copy Markdown
Member

@eddyb eddyb commented Apr 22, 2026

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.

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