Merge pull request #13286 from JuliaLang/yyc/getfield_tbaa

Use tbaa_immut for getfield of immutable types
JuliaLang · Sep 28, 2015 · 0c76560 · 0c76560
2 parents 16b1e87 + 0903653
commit 0c76560
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cgutils.cpp b/src/cgutils.cpp
@@ -1367,7 +1367,7 @@ static jl_cgval_t emit_getfield_knownidx(const jl_cgval_t &strct, unsigned idx,
             LLVM37_param(cast<PointerType>(strct.V->getType()->getScalarType())->getElementType())
             strct.V, 0, idx);
         assert(!jt->mutabl);
-        return typed_load(addr, NULL, jfty, ctx, NULL);
+        return typed_load(addr, NULL, jfty, ctx, tbaa_immut);
     }
     else {
         assert(strct.V->getType()->isVectorTy());