http://d.puremagic.com/issues/show_bug.cgi?id=3064
Summary: Invalid array operation accepted, generates bad code
Product: D
Version: 1.045
Platform: x86_64
URL: http://www.digitalmars.com/d/1.0/arrays.html
OS/Version: Linux
Status: NEW
Keywords: accepts-invalid, wrong-code
Severity: major
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: matti.niemenmaa+dbugzi...@iki.fi
The following compiles in DMD 1.045, but shouldn't:
void main() {
int[] a = [1,2];
int[] b = [1,2];
a[] += b;
assert (b[0] == 1);
assert (b[1] == 2);
assert (a[0] == 2);
assert (a[1] == 4);
}
Currently, the code compiles but the third assertion fails, since DMD generates
code as though b were an int. Note that the following both compiles and doesn't
assert:
void main() {
int[] a = [1,2];
int[] b = [1,2];
a[] += b;
assert (b[0] == 1);
assert (b[1] == 2);
assert (a[0] == 1+*cast(int*)&b);
assert (a[1] == 2+*cast(int*)&b);
}
This is, of course, nonsense.
The error is in the line 'a[] += b': according to
http://www.digitalmars.com/d/1.0/arrays.html "[t]he rvalue can be an expression
consisting either of an array slice of the same length and type as the lvalue
or an expression of the element type of the lvalue, in any combination." Thus
the line is incorrect and should read 'a[] += b[]', and that indeed works.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
