mark setfield! as consistent (JuliaLang#46184)

pcjentsch · Jul 27, 2022 · 9630911 · 9630911
1 parent b2bf56e
commit 9630911
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/base/compiler/tfuncs.jl b/base/compiler/tfuncs.jl
@@ -1844,7 +1844,8 @@ const _CONSISTENT_BUILTINS = Any[
  Core.ifelse,
  (<:),
  typeassert,
- throw
+ throw,
+ setfield!
 ]
 
 const _SPECIAL_BUILTINS = Any[

diff --git a/test/compiler/effects.jl b/test/compiler/effects.jl
@@ -314,3 +314,5 @@ end |> Core.Compiler.is_effect_free
  obj = c ? Some{String}("foo") : Some{Symbol}(:bar)
  return getfield(obj, :value)
 end |> Core.Compiler.is_consistent
+
+@test Core.Compiler.is_consistent(Base.infer_effects(setindex!, (Base.RefValue{Int}, Int)))