Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

infer non-empty-string on substr() comparison with constant string #1259

Merged
merged 5 commits into from May 21, 2022

Conversation

staabm
Copy link
Contributor

@staabm staabm commented Apr 28, 2022

@staabm
Copy link
Contributor Author

staabm commented May 3, 2022

Todo: verify this doesnt hit the same problem as #1275

@clxmstaab clxmstaab force-pushed the substr branch 2 times, most recently from c2ec4dc to a24da7e Compare May 16, 2022 16:31
@staabm
Copy link
Contributor Author

staabm commented May 16, 2022

Todo: verify this doesnt hit the same problem as #1275

done. this one is good to go.

infer non-empty-string on substr() comparison with constant string

try reducing unnecessary work

cs
This reverts commit 995712c.
@staabm
Copy link
Contributor Author

staabm commented May 20, 2022

Should this be re-targeted for 1.7.x?

@ondrejmirtes
Copy link
Member

Thanks :) Even if there isn't another 1.6.x release, I'm gonna merge it to 1.7.x right away.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants