aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIain Buclaw <ibuclaw@gdcproject.org>2025-03-22 10:33:24 +0100
committerIain Buclaw <ibuclaw@gdcproject.org>2025-03-22 10:55:13 +0100
commit76df0e069f6c8ba5aa93ae10606ba61fa990883c (patch)
tree27c954dcce4069a93ded94facd083094b0262683
parent499c58f443e97198c30776f54bc57ea2af48245d (diff)
downloadgcc-76df0e069f6c8ba5aa93ae10606ba61fa990883c.zip
gcc-76df0e069f6c8ba5aa93ae10606ba61fa990883c.tar.gz
gcc-76df0e069f6c8ba5aa93ae10606ba61fa990883c.tar.bz2
d: Indexing a cast(AA) yields no lvalue anymore
gcc/d/ChangeLog: * dmd/MERGE: Merge upstream dmd 8db14cf846. Reviewed-on: https://github.com/dlang/dmd/pull/21029
-rw-r--r--gcc/d/dmd/MERGE2
-rw-r--r--gcc/d/dmd/expression.d1
-rw-r--r--gcc/testsuite/gdc.test/runnable/test21020.d11
3 files changed, 13 insertions, 1 deletions
diff --git a/gcc/d/dmd/MERGE b/gcc/d/dmd/MERGE
index 1be4da4..f274580 100644
--- a/gcc/d/dmd/MERGE
+++ b/gcc/d/dmd/MERGE
@@ -1,4 +1,4 @@
-fde0f8c40a1b8eb78c3485cb0e940035bfe6fb00
+8db14cf8467ca25256904d51169b176c9c89afb1
The first line of this file holds the git revision number of the last
merge done from the dlang/dmd repository.
diff --git a/gcc/d/dmd/expression.d b/gcc/d/dmd/expression.d
index ef5c0b0..4bf1f9f 100644
--- a/gcc/d/dmd/expression.d
+++ b/gcc/d/dmd/expression.d
@@ -3632,6 +3632,7 @@ extern (C++) final class CastExp : UnaExp
if (rvalue || !e1.isLvalue())
return false;
return (to.ty == Tsarray && (e1.type.ty == Tvector || e1.type.ty == Tsarray)) ||
+ (to.ty == Taarray && e1.type.ty == Taarray) ||
e1.type.mutableOf.unSharedOf().equals(to.mutableOf().unSharedOf());
}
diff --git a/gcc/testsuite/gdc.test/runnable/test21020.d b/gcc/testsuite/gdc.test/runnable/test21020.d
new file mode 100644
index 0000000..484db30
--- /dev/null
+++ b/gcc/testsuite/gdc.test/runnable/test21020.d
@@ -0,0 +1,11 @@
+// https://github.com/dlang/dmd/issues/21020
+
+shared struct Queue {
+ int[int] map;
+}
+
+void main() {
+ auto queue = Queue();
+ (cast(int[int]) queue.map)[1] = 2;
+ assert(queue.map[1] == 2);
+}