Quick fixes to build

Author: Ian Atol

base/compiler/ssair/passes.jl

@@ -1296,14 +1296,14 @@ function memory_opt!(ir::IRCode)
 
         # TODO: Replace this by interprocedural escape analysis
         if is_known_call(stmt, arrayset, compact)
-            # arrayset expr.args: 
+            # arrayset expr.args:
             # :(Base.arrayset)
-            # false 
+            # false
             # :(%2) array
-            # :(%8) value 
+            # :(%8) value
             # :(%7) index
             # The value being set escapes, everything else doesn't
-            (length(stmt.args) == 5) || continue # fix boundserror during precompile --- but how do we have arrayset with < 5 args? 
+            (length(stmt.args) == 5) || continue # fix boundserror during precompile --- but how do we have arrayset with < 5 args?
             mark_escape(stmt.args[4])
             arr = stmt.args[3]
             if isa(arr, SSAValue) && arr.id in relevant
@@ -1314,18 +1314,27 @@ function memory_opt!(ir::IRCode)
         elseif is_known_call(stmt, Core.arrayfreeze, compact) && isa(stmt.args[2], SSAValue)
             push!(revisit, idx)
 
-        elseif is_known_call(stmt, arraysize, compact) && isa(stmt.args[2], SSAValue)
+        elseif is_known_call(stmt, arraysize, compact) && isa(stmt.args[2], SSAValue) && isa(stmt.args[3], Number)
             arr = stmt.args[2]
-            typ = abstract_eval_ssavalue(arr, compact)
+            dim = stmt.args[3]
+            typ = types(compact)[arr]
 
-            # make sure this call isn't going to throw 
-            if typ != Union{} && typ <: AbstractArray && ndims(typ) == stmt.args[3]
+            while !isa(typ, Type)
+                typ = typeof(typ)
+            end
+
+            if isa(typ, Core.Const)
+                typ = typ.val
+            end
+
+            # make sure this call isn't going to throw
+            if typ <: AbstractArray && dim >= 1
                 # don't escape the array, but mark usage for dom analysis
                 if arr.id in relevant
                     (haskey(uses, arr.id)) || (uses[arr.id] = Int[])
                     push!(uses[arr.id], idx)
                 end
-            else # if this call throws, the array definitely escapes
+            else # if this call throws or we can't tell, the array definitely escapes
                 for ur in userefs(stmt)
                     mark_escape(ur[])
                 end