d: Fix accesses of immutable arrays using constant index still bounds checked

[thirdparty/gcc.git] / gcc / d / decl.cc

diff --git a/gcc/d/decl.cc b/gcc/d/decl.cc
index 78c4ab554dc8a7a04eb9aaab16237ce5107860df..3f980851259a5399004e1eec1070796578fc4a3d 100644 (file)
--- a/gcc/d/decl.cc
+++ b/gcc/d/decl.cc
@@ -1277,6 +1277,20 @@ get_symbol_decl (Declaration *decl)
                DECL_INITIAL (decl->csym) = build_expr (ie, true);
            }
        }
+
+      /* [type-qualifiers/const-and-immutable]
+
+        `immutable` applies to data that cannot change. Immutable data values,
+        once constructed, remain the same for the duration of the program's
+        execution.  */
+      if (vd->isImmutable () && !vd->setInCtorOnly ())
+       TREE_READONLY (decl->csym) = 1;
+
+      /* `const` applies to data that cannot be changed by the const reference
+        to that data. It may, however, be changed by another reference to that
+        same data.  */
+      if (vd->isConst () && !vd->isDataseg ())
+       TREE_READONLY (decl->csym) = 1;
     }
 
   /* Set the declaration mangled identifier if static.  */