d: Fix LHS of array concatentation evaluated before the RHS.
authorIain Buclaw <ibuclaw@gdcproject.org>
Tue, 17 Nov 2020 12:11:33 +0000 (13:11 +0100)
committerIain Buclaw <ibuclaw@gdcproject.org>
Wed, 18 Nov 2020 09:22:18 +0000 (10:22 +0100)
commit798bdfa0ebcf2bd012ffce75a594f783a8cb2dd0
tree46cce232509d2f6ff158cb16d730c099e92cb874
parent27d8c3516b67c0f5a8fe8970d0558ee3b97e8281
d: Fix LHS of array concatentation evaluated before the RHS.

In an array append expression:

    array ~= fun(array);

The array in the left hand side of the expression was extended before
evaluating the result of the right hand side, which resulted in the
newly uninitialized array index being used before set.

This fixes that so that the result of the right hand side is always
saved in a reusable temporary before assigning to the destination.

gcc/d/ChangeLog:

PR d/97843
* d-codegen.cc (build_assign): Evaluate TARGET_EXPR before use in
the right hand side of an assignment.
* expr.cc (ExprVisitor::visit (CatAssignExp *)): Force a TARGET_EXPR
on the element to append if it is a CALL_EXPR.

gcc/testsuite/ChangeLog:

PR d/97843
* gdc.dg/torture/pr97843.d: New test.
gcc/d/d-codegen.cc
gcc/d/expr.cc
gcc/testsuite/gdc.dg/torture/pr97843.d [new file with mode: 0644]