Don't declare Intrinsics.box as pure (fix #6566)

JuliaLang · Apr 18, 2014 · 2778e4d · 2778e4d
1 parent 752dc20
commit 2778e4d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/base/inference.jl b/base/inference.jl
@@ -1839,6 +1839,7 @@ function is_pure_builtin(f)
              f === Intrinsics.pointerset || # this one is never effect-free
              f === Intrinsics.ccall ||      # this one is never effect-free
              f === Intrinsics.jl_alloca ||  # this one is volatile, TODO: possibly also effect-free?
+             f === Intrinsics.box ||
              f === Intrinsics.pointertoref) # this one is volatile
             return true
         end