assume getfield is non-volatile if inferred to be constant

fixes regression caused by JuliaLang#18017
mfasi · Sep 5, 2016 · ae4b42f · ae4b42f
1 parent 81b9e9f
commit ae4b42f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/inference.jl b/base/inference.jl
@@ -2258,7 +2258,7 @@ function effect_free(e::ANY, linfo::LambdaInfo, allow_volatile::Bool)
  if !allow_volatile
  if is_known_call(e, arrayref, linfo) || is_known_call(e, arraylen, linfo)
  return false
- elseif is_known_call(e, getfield, linfo)
+ elseif is_known_call(e, getfield, linfo) && !isa(exprtype(e,linfo), Const)
  # first argument must be immutable to ensure e is affect_free
  a = ea[2]
  typ = widenconst(exprtype(a, linfo))