Skip to content

Conversation

@ndossche
Copy link
Member

@ndossche ndossche commented Sep 4, 2025

This one is not initialized. This is not hittable from userspace code because all locations within first-party php-src code have a valid option argument.

This one is not initialized. This is not hittable from userspace code
because all locations within first-party php-src code have a valid
`option` argument.
@ndossche ndossche requested a review from bukka as a code owner September 4, 2025 20:29
Copy link
Member

@bukka bukka left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah this is obviously incorrect as it wasn't even used before...

@ndossche ndossche closed this in d10ff9b Sep 4, 2025
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.

3 participants