Commits on Feb 7, 2023

1. [compiler] Teach type inference that GotoIfNot can throw …

   Previously, the effects system would ignore certain cases where
   `GotoIfNot` nodes would be capable of throwing; this resulted in simple
   examples such as the following being marked as `nothrow`:
   
   ```
   julia> foo(x) = x > 0 ? x : 0
          Base.infer_effects(foo, (Missing,))
   (+c,+e,+n,+t,+s,+m,+i)
   ```
   
   With this change, we correctly notice when a `GotoIfNot` node is given a
   non-`Bool` condition, annotate the basic block as possibly throwing, and
   further end type inference if the condition is provably non-`Bool`.

   

   staticfloat committed Feb 7, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 43235e9
   • Browse repository at this point

   Copy the full SHA

   43235e9 View commit details

   Browse the repository at this point in the history