[Issue 15704] @safe code should not allow copying to/from void[]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

Nathan S.  changed:

   What|Removed |Added

   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=12560

--

[Issue 15704] @safe code should not allow copying to/from void[]

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

--- Comment #7 from github-bugzi...@puremagic.com ---
Commits pushed to stable at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/378e6e3ff01e8e1afd5b5bb97d259ae68918ef9e
fix Issue 15704 - @safe code should not allow copying to/from void[]

https://github.com/dlang/dmd/commit/8ed696695c913234d7bed276215c9dcae8a9cc66
Merge pull request #5877 from WalterBright/fix15704

--

[Issue 15704] @safe code should not allow copying to/from void[]

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

--- Comment #6 from github-bugzi...@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/378e6e3ff01e8e1afd5b5bb97d259ae68918ef9e
fix Issue 15704 - @safe code should not allow copying to/from void[]

https://github.com/dlang/dmd/commit/8ed696695c913234d7bed276215c9dcae8a9cc66
Merge pull request #5877 from WalterBright/fix15704

fix Issue 15704 - @safe code should not allow copying to/from void[]

--

[Issue 15704] @safe code should not allow copying to/from void[]

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

github-bugzi...@puremagic.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--

[Issue 15704] @safe code should not allow copying to/from void[]

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

Walter Bright  changed:

   What|Removed |Added

   Keywords||pull
 CC||bugzi...@digitalmars.com
   Hardware|x86_64  |All
 OS|Linux   |All

--- Comment #5 from Walter Bright  ---
https://github.com/dlang/dmd/pull/5877

--

[Issue 15704] @safe code should not allow copying to/from void[]

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

--- Comment #4 from hst...@quickfur.ath.cx ---
Oh, you're right, it doesn't compile because implicit conversion from void[] to
int*[] is not allowed.  OK, nevermind what I said, then. :-D

--

[Issue 15704] @safe code should not allow copying to/from void[]

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

Steven Schveighoffer  changed:

   What|Removed |Added

 CC||schvei...@yahoo.com

--- Comment #3 from Steven Schveighoffer  ---
(In reply to hsteoh from comment #2)
> It's not just writing to void[] that's the problem. Consider:
> 
> 
> int[] intArr = [ 1,2,3,4,5 ];
> void[] voidArr = intArr; // OK, every array converts to void[]
> int*[] ptrArr;
> ptrArr.length = 5;
> ptrArr[] = voidArr[]; // reinterpret intArr as pointers

Wait, does this really work (I didn't think it did)? If so, isn't it still
implicitly doing this:

(cast(void[])ptrArr)[] = voidArr[];

Which is still writing void data.

--

[Issue 15704] @safe code should not allow copying to/from void[]

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15704

hst...@quickfur.ath.cx changed:

   What|Removed |Added

Summary|@safe code should not allow |@safe code should not allow
   |copying into void[] |copying to/from void[]

--