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

inference: ensure inferring reachable code methods #57088

Merged
merged 3 commits into from
Jan 21, 2025
Merged

inference: ensure inferring reachable code methods #57088

merged 3 commits into from
Jan 21, 2025

Conversation

vtjnash
Copy link
Member

@vtjnash vtjnash commented Jan 17, 2025

PR #51317 was a bit over-eager about inferring inferring unreachable code methods. Filter out the Vararg case, since that can be handled by simply removing it instead of discarding the whole call.

Fixes #56628

PR #51317 was a bit over-eager about inferring inferring unreachable
code methods. Filter out the Vararg case, since that can be handled by
simply removing it instead of discarding the whole call.

Fixes #56628
@vtjnash vtjnash added the compiler:inference Type inference label Jan 17, 2025
@oscardssmith oscardssmith added the bugfix This change fixes an existing bug label Jan 17, 2025
@inkydragon

This comment was marked as outdated.

@vtjnash vtjnash added the merge me PR is reviewed. Merge when all tests are passing label Jan 21, 2025
@vtjnash vtjnash merged commit eb9f24c into master Jan 21, 2025
5 of 8 checks passed
@vtjnash vtjnash deleted the jn/56628 branch January 21, 2025 18:12
@giordano giordano removed the merge me PR is reviewed. Merge when all tests are passing label Jan 21, 2025
@KristofferC KristofferC added the backport 1.10 Change should be backported to the 1.10 release label Feb 19, 2025
vtjnash added a commit that referenced this pull request Feb 19, 2025
PR #51317 was a bit over-eager about inferring inferring unreachable
code methods. Filter out the Vararg case, since that can be handled by
simply removing it instead of discarding the whole call.

Fixes #56628

(cherry picked from commit eb9f24c)
kpamnany pushed a commit to RelationalAI/julia that referenced this pull request Feb 19, 2025
PR JuliaLang#51317 was a bit over-eager about inferring inferring unreachable
code methods. Filter out the Vararg case, since that can be handled by
simply removing it instead of discarding the whole call.

Fixes JuliaLang#56628

(cherry picked from commit eb9f24c)
kpamnany pushed a commit to RelationalAI/julia that referenced this pull request Feb 19, 2025
PR JuliaLang#51317 was a bit over-eager about inferring inferring unreachable
code methods. Filter out the Vararg case, since that can be handled by
simply removing it instead of discarding the whole call.

Fixes JuliaLang#56628

(cherry picked from commit eb9f24c)
kpamnany added a commit to RelationalAI/julia that referenced this pull request Feb 25, 2025
* inference: avoid inferring unreachable code methods (JuliaLang#51317)

(cherry picked from commit 0a82b71)

* inference: ensure inferring reachable code methods (JuliaLang#57088)

PR JuliaLang#51317 was a bit over-eager about inferring inferring unreachable
code methods. Filter out the Vararg case, since that can be handled by
simply removing it instead of discarding the whole call.

Fixes JuliaLang#56628

(cherry picked from commit eb9f24c)

---------

Co-authored-by: Jameson Nash <[email protected]>
nickrobinson251 pushed a commit to RelationalAI/julia that referenced this pull request Feb 26, 2025
* inference: avoid inferring unreachable code methods (JuliaLang#51317)

(cherry picked from commit 0a82b71)

* inference: ensure inferring reachable code methods (JuliaLang#57088)

PR JuliaLang#51317 was a bit over-eager about inferring inferring unreachable
code methods. Filter out the Vararg case, since that can be handled by
simply removing it instead of discarding the whole call.

Fixes JuliaLang#56628

(cherry picked from commit eb9f24c)

---------

Co-authored-by: Jameson Nash <[email protected]>
@KristofferC KristofferC removed the backport 1.10 Change should be backported to the 1.10 release label Mar 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bugfix This change fixes an existing bug compiler:inference Type inference
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Julia 1.11.1 Bug: splatting collect(kwargs) into an array can crash julia if kwargs are empty
5 participants