[Bug d/110514] d: accesses of immutable arrays using constant index still bounds checked

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110514

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Iain Buclaw
<ibuc...@gcc.gnu.org>:

https://gcc.gnu.org/g:3f43c19d0d40b82ecfd10f277322c1f786bcd76d

commit r13-7519-g3f43c19d0d40b82ecfd10f277322c1f786bcd76d
Author: Iain Buclaw <ibuc...@gdcproject.org>
Date:   Sat Jul 1 23:32:53 2023 +0200

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

    Starts setting TREE_READONLY against specific kinds of VAR_DECLs, so
    that the middle-end/optimization passes can more aggressively constant
    fold D code that makes use of `immutable' or `const'.

            PR d/110514

    gcc/d/ChangeLog:

            * decl.cc (get_symbol_decl): Set TREE_READONLY on certain kinds of
            const and immutable variables.
            * expr.cc (ExprVisitor::visit (ArrayLiteralExp *)): Set
TREE_READONLY
            on immutable dynamic array literals.

    gcc/testsuite/ChangeLog:

            * gdc.dg/pr110514a.d: New test.
            * gdc.dg/pr110514b.d: New test.
            * gdc.dg/pr110514c.d: New test.
            * gdc.dg/pr110514d.d: New test.

    (cherry picked from commit 61b1c562f8c703bff045e91257120e42b7fae523)