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

https://issues.dlang.org/show_bug.cgi?id=14251 Iain Buclaw changed: What|Removed |Added Priority|P1 |P3 --

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

https://issues.dlang.org/show_bug.cgi?id=14251 moonlightsenti...@disroot.org changed: What|Removed |Added See Also||https://issues.dlang.org/sh

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #23 from Dlang Bot --- @WalterBright updated dlang/dmd pull request #6092 "fix Issue 14251 - synchronized (mtx) doesn't check attributes (pure, …" fixing this issue: - fix Issue 14251 - synchronized (mtx) doesn't check attrib

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #22 from Andrei Alexandrescu --- (In reply to Martin Nowak from comment #21) > Forcing everyone to use the same attributes is too limiting/breaks code, > let's replace the old C API w/ templated library code.

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #21 from Martin Nowak --- (In reply to Andrei Alexandrescu from comment #19) > > Just look at core.sync, none of the methods can be implemented const or > > pure, still they get called from const/pure code. > > That's not

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #20 from Andrei Alexandrescu --- (In reply to Martin Nowak from comment #17) > Not allowing to put any class into read-only segments, just b/c someone > might want to synchronize on it, is not very convincing. > Also

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #19 from Andrei Alexandrescu --- (In reply to Martin Nowak from comment #18) > (In reply to Andrei Alexandrescu from comment #13) > > Can someone produce an example in which invariants promised by D's system > > are

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #18 from Martin Nowak --- (In reply to Andrei Alexandrescu from comment #13) > Can someone produce an example in which invariants promised by D's system > are broken? Just look at core.sync, none of the methods can be

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #17 from Martin Nowak --- (In reply to Andrei Alexandrescu from comment #15) > That's not the case. The compiler knows the object has mutable metadata and > won't allow placing it in read-only pages. Not allowing to put

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #16 from ZombineDev --- (In reply to Andrei Alexandrescu from comment #15) > (In reply to Lodovico Giaretta from comment #14) > > (In reply to Andrei Alexandrescu from comment #13) > > > Can someone produce an

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #15 from Andrei Alexandrescu --- (In reply to Lodovico Giaretta from comment #14) > (In reply to Andrei Alexandrescu from comment #13) > > Can someone produce an example in which invariants promised by D's system > >

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #14 from Lodovico Giaretta --- (In reply to Andrei Alexandrescu from comment #13) > Can someone produce an example in which invariants promised by D's system > are broken? immutable provides a strong guarantee,

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

https://issues.dlang.org/show_bug.cgi?id=14251 Andrei Alexandrescu changed: What|Removed |Added CC||and...@erdani.com

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #12 from ZombineDev --- (In reply to Walter Bright from comment #8) > (In reply to ZombineDev from comment #7) > > The OP issue doesn't mention class monitors. The bug also affects raw sync > > primitives like

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #11 from ZombineDev --- A const reference to an object may actually refer to a immutable object. If such object sits in ROM than failure of the compiler to prevent such error (modification of the monitor) may

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #10 from Walter Bright --- I have serious misgivings about this being even a bug. The monitor is outside of the type system, and should work regardless of the type of the class object. Also, I don't see a good

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

https://issues.dlang.org/show_bug.cgi?id=14251 Walter Bright changed: What|Removed |Added Keywords||pull --- Comment

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #8 from Walter Bright --- (In reply to ZombineDev from comment #7) > The OP issue doesn't mention class monitors. The bug also affects raw sync > primitives like core.sync.mutex and in general everything using >

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

https://issues.dlang.org/show_bug.cgi?id=14251 Lodovico Giaretta changed: What|Removed |Added CC|

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #7 from ZombineDev --- The OP issue doesn't mention class monitors. The bug also affects raw sync primitives like core.sync.mutex and in general everything using Object.IMonitor. --

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

https://issues.dlang.org/show_bug.cgi?id=14251 Walter Bright changed: What|Removed |Added CC|

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

https://issues.dlang.org/show_bug.cgi?id=14251 ZombineDev changed: What|Removed |Added Keywords||safe

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #4 from github-bugzi...@puremagic.com --- Commit pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/4b74c5f687a06d95c4ffe6e8aefe10f88acc098b Remove deprecated

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #3 from Johan Engelen --- https://github.com/D-Programming-Language/dmd/pull/5564 --

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

https://issues.dlang.org/show_bug.cgi?id=14251 --- Comment #2 from Johan Engelen --- Synchronizing inside a const method is done in a deprecated method in std.concurrency: // @@@DEPRECATED_2016-03@@@ /++ $(RED Deprecated. isClosed can't be used with a

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

https://issues.dlang.org/show_bug.cgi?id=14251 Johan Engelen changed: What|Removed |Added CC||jbc.enge...@gmail.com