julia
effects: assume `:nothrow`-ness more when bounds checking is manually turned off
#48853
Merged
Overview
Commits
2
Changes
View On GitHub

effects: assume `:nothrow`-ness more when bounds checking is manually turned off #48853

aviatesk merged 2 commits into master from avi/boundscheck
aviatesk
aviatesk aviatesk requested a review from vtjnash vtjnash 2 years ago
aviatesk aviatesk requested a review from Keno Keno 2 years ago
aviatesk
aviatesk commented on 2023-03-02
aviatesk aviatesk added don't squash
aviatesk aviatesk added compiler:effects
Keno
aviatesk
vtjnash
aviatesk aviatesk changed the title effects: prove more `:nothrow`-ness when bounds checking is manually turned off effects: assume `:nothrow`-ness more when bounds checking is manually turned off 2 years ago
aviatesk effects: avoid `UndefRefError` error check when analyzing `arrayset`
e022ab22
aviatesk effects: analyze bounds checking of `getfield` properly
8b86d910
aviatesk
aviatesk aviatesk force pushed from a222564f to 8b86d910 2 years ago
aviatesk aviatesk merged ce64b80c into master 2 years ago
aviatesk aviatesk deleted the avi/boundscheck branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
don't squash compiler:effects
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum