Skip to content

codeedges: Rename implicit returns to termination points - #154

Merged
aviatesk merged 1 commit into
masterfrom
avi/follow-117
Jun 23, 2026
Merged

codeedges: Rename implicit returns to termination points#154
aviatesk merged 1 commit into
masterfrom
avi/follow-117

Conversation

@aviatesk

Copy link
Copy Markdown
Member

The previous name suggested that selective evaluation was modeling an implicit return in lowered code. The controller actually records PCs where selective evaluation should terminate even when the statement is outside the slice, as pointed in the original PR (#117).

Rename the internal field and helper to use "termination point" terminology, and update the documentation accordingly.

The previous name suggested that selective evaluation was modeling an
implicit return in lowered code. The controller actually records PCs
where selective evaluation should terminate even when the statement is
outside the slice, as pointed in the original PR (#117).

Rename the internal field and helper to use "termination point"
terminology, and update the documentation accordingly.
@aviatesk
aviatesk merged commit ea1189b into master Jun 23, 2026
9 checks passed
@aviatesk
aviatesk deleted the avi/follow-117 branch June 23, 2026 14:19
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