[Issue 15192] DIP25: Nested ref returns are type checked unsoundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15192 --- Comment #1 from Walter Bright --- Simplified: ref int fun(ref int x) @safe { ref int bar(){ return x; } return bar(); } This is a failure to detect that parameter x should be marked as 'return ref', not just 'ref'. --

[Issue 15191] DIP25: Taking address of ref return is not type checked soundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15191 Walter Bright changed: What|Removed |Added Keywords||pull --- Comment #3 from Walter Bright ---

[Issue 15191] DIP25: Taking address of ref return is not type checked soundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15191 --- Comment #2 from Walter Bright --- The trouble here is the following: int[N]* bar(return ref int[N] s) @safe { return &foo(s); // <== taking the address of a reference should be an error } --

[Issue 15191] DIP25: Taking address of ref return is not type checked soundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15191 --- Comment #1 from Walter Bright --- Reformatting for readability: enum N=100; ref int[N] foo(return ref int[N] s)@safe { return s; } int[N]* bar(return ref int[N] s) @safe { return &foo(s); } ref int[N] baz()@safe { int[N] s; re

[Issue 14238] DIP25: escape checks can be circumvented with delegate

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14238 --- Comment #1 from Walter Bright --- The problem here is that 'scope' is not implemented. --

[Issue 16220] User-defined synchronized implementation

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16220 ZombineDev changed: What|Removed |Added Summary|sync|User-defined synchronized |

[Issue 16220] New: sync

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16220 Issue ID: 16220 Summary: sync Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: enhancement Priority: P1 Component: dmd

[Issue 12132] Object.Monitor and core.sync primitives should be shared

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12132 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 8993] Implement unique references/isolated memory

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=8993 ZombineDev changed: What|Removed |Added Keywords||safe CC|

[Issue 7902] [TDPL] sychronized is supposed to be for classes, not functions

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=7902 ZombineDev changed: What|Removed |Added Keywords||safe CC|

[Issue 13727] std.stdio.File not thread-safe

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13727 ZombineDev changed: What|Removed |Added Keywords||safe CC|

[Issue 16057] [TDPL] synchronized (a, b) compiles and runs with wrong semantics

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16057 ZombineDev changed: What|Removed |Added Keywords||safe CC|

[Issue 14251] synchronized (mtx) doesn't check attributes (pure, const)

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14251 ZombineDev changed: What|Removed |Added Keywords||safe CC|

[Issue 15387] slice in extern(C++) ICE's

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15387 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 15191] DIP25: Taking address of ref return is not type checked soundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15191 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 15192] DIP25: Nested ref returns are type checked unsoundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15192 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 16216] struct equality compares padding

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16216 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 15193] DIP25 (implementation): Lifetimes of temporaries tracked incorrectly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15193 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 14242] destruction of static arrays with elaborate destructor elements does not propagate attributes

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14242 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 16208] moduleinfo importedModules contains needless duplicates

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16208 ZombineDev changed: What|Removed |Added CC||petar.p.ki...@gmail.com --

[Issue 14485] .front of empty filtered zip range is accessible

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14485 --- Comment #5 from github-bugzi...@puremagic.com --- Commits pushed to master at https://github.com/dlang/phobos https://github.com/dlang/phobos/commit/ad7dbaa0505a2f0b4f6982625e6cca1163fd3c56 Fixed Issue 14485: .front of empty filtered zip range is

[Issue 14485] .front of empty filtered zip range is accessible

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14485 github-bugzi...@puremagic.com changed: What|Removed |Added Status|NEW |RESOLVED Resolution|-

[Issue 16219] std.experimental.allocator.makeArray does unnecessary allocations for ranges with length

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16219 --- Comment #1 from Jack Stouffer --- https://github.com/dlang/phobos/pull/4503 --

[Issue 16219] New: std.experimental.allocator.makeArray does unnecessary allocations for ranges with length

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16219 Issue ID: 16219 Summary: std.experimental.allocator.makeArray does unnecessary allocations for ranges with length Product: D Version: D2 Hardware: All OS: All

[Issue 15387] slice in extern(C++) ICE's

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15387 uplink.co...@googlemail.com changed: What|Removed |Added Severity|enhancement |normal --- Comment #1 from upli

[Issue 15387] slice in extern(C++) ICE's

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15387 uplink.co...@googlemail.com changed: What|Removed |Added CC||uplink.co...@googlemail.com --

[Issue 16214] [REG2.069] ICE: Assertion `fd->semanticRun == PASSsemantic3done' failed.

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16214 Marc Schütz changed: What|Removed |Added CC||schue...@gmx.net --- Comment #1 from Marc Schü

[Issue 15193] DIP25 (implementation): Lifetimes of temporaries tracked incorrectly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15193 Walter Bright changed: What|Removed |Added Keywords||safe CC|

[Issue 15192] DIP25: Nested ref returns are type checked unsoundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15192 Walter Bright changed: What|Removed |Added Keywords||safe CC|

[Issue 15191] DIP25: Taking address of ref return is not type checked soundly

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=15191 Walter Bright changed: What|Removed |Added Keywords||safe CC|

[Issue 14475] man page is outdated

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14475 Walter Bright changed: What|Removed |Added CC||bugzi...@digitalmars.com Component|

[Issue 14238] DIP25: escape checks can be circumvented with delegate

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14238 Walter Bright changed: What|Removed |Added Keywords||safe CC|

[Issue 16218] New: Windows std.file.readImpl should be marked @system

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16218 Issue ID: 16218 Summary: Windows std.file.readImpl should be marked @system Product: D Version: D2 Hardware: x86 OS: Mac OS X Status: NEW Keywords: safe

[Issue 16217] New: Wrong code with -O -inline on function with right shift

2016-06-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16217 Issue ID: 16217 Summary: Wrong code with -O -inline on function with right shift Product: D Version: D2 Hardware: x86_64 OS: Linux Status: NEW