Skip to content

fixes #26062; ResultUsed warning behaves inconsistently with manual c… - #26087

Open
ringabout wants to merge 1 commit into
develfrom
pr_result_re
Open

fixes #26062; ResultUsed warning behaves inconsistently with manual c…#26087
ringabout wants to merge 1 commit into
develfrom
pr_result_re

Conversation

@ringabout

@ringabout ringabout commented Aug 6, 2026

Copy link
Copy Markdown
Member

…haracterization with--warning:ResultUsed:on

fixes #26062

A return statement with no expression is shorthand for return result.

ResultUsed: Warn about the usage of the built-in result variable.

A procedure that does not have any return statement and does not use the special result variable returns the value of its last expression.

…haracterization with--warning:ResultUsed:on
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.

ResultUsed warning behaves inconsistently with manual characterization with--warning:ResultUsed:on

1 participant