PR #55601 inference: track reaching defs for slots

inference: track reaching defs for slots #55601

vtjnash merged 4 commits into JuliaLang:master from topolarity:ct/fix-55548

topolarity requested a review from

Keno 1 year ago

topolarity requested a review from

aviatesk 1 year ago

topolarity force pushed from 0879cc36 to 5ffbc97b 1 year ago

topolarity commented on 2024-08-27

topolarity force pushed from 5ffbc97b to abf839bf 1 year ago

topolarity force pushed from 4829608d to e60a5ee1 1 year ago

aviatesk commented on 2024-08-29

vtjnash added compiler:inference

vtjnash added bugfix

serenity4 force pushed from aab6372f to df333d89 149 days ago

serenity4 force pushed from df333d89 to e614050d 149 days ago

serenity4 force pushed from e614050d to eca11680 149 days ago

vtjnash added backport 1.12

inference: add StateRefinement to distinguish from StateUpdate

dea06648

inference: add vtypes parameter plumbing through abstract_call

62ca97f6

inference: track ssadef (reaching definition) in VarState

e0b1dc27

inference: remove old Conditional invalidation logic

749bc618

vtjnash force pushed from 23c8e263 to 749bc618 24 days ago

vtjnash marked this pull request as ready for review 24 days ago

vtjnash added don't squash

vtjnash merged 94ae0ace into master 2 days ago

Reviewers

serenity4

aviatesk

Keno

Assignees

No one assigned

Labels

bugfix compiler:inference don't squash backport 1.12

Milestone

No milestone