add missing LimitedAccuracy handling

aviatesk · May 10, 2021 · c1699b1 · c1699b1
1 parent a9c7ef2
commit c1699b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/abstractinterpretation.jl b/src/abstractinterpretation.jl
@@ -471,7 +471,7 @@ Returns true if the iteration may terminate
 function iter_may_terminate(cond::Int64, dest::Int64, code::Vector{Any}, ssavaluetypes::Vector{Any})
     cond_code = code[cond]
     condt = ssavaluetypes[cond]
-    t = widenconditional(condt)
+    t = widenconditional(ignorelimited(condt))
 
     if !(isa(cond_code, Expr) && cond_code.head === :call && cond_code.args[end] === GlobalRef(Base, :nothing) &&
          isa(condt, CC.Conditional))