[Issue 24275] pragma(mangle, ...) can hijack safe functions, bypassing @safe checks

2023-12-08 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=24275 timon.g...@gmx.ch changed: What|Removed |Added Severity|enhancement |normal --

[Issue 24275] New: pragma(mangle, ...) can hijack safe functions, bypassing @safe checks

2023-12-08 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=24275 Issue ID: 24275 Summary: pragma(mangle, ...) can hijack safe functions, bypassing @safe checks Product: D Version: D2 Hardware: x86_64 OS: Linux

[Issue 12939] More uniform error messages for not nothrow and not @safe functions

2016-10-01 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12939 --- Comment #3 from github-bugzi...@puremagic.com --- Commits pushed to stable at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/72e82e63d478b6f6d095255b020169a25b12154e partially address Issue 12939

[Issue 16266] @safe functions may dereference non-dereferenceable pointers

2016-07-11 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16266 --- Comment #3 from Andrei Alexandrescu --- My bad --

[Issue 16266] @safe functions may dereference non-dereferenceable pointers

2016-07-11 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16266 Walter Bright changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 16266] @safe functions may dereference non-dereferenceable pointers

2016-07-11 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16266 Andrei Alexandrescu changed: What|Removed |Added Keywords||safe --

[Issue 16266] New: @safe functions may dereference non-dereferenceable pointers

2016-07-11 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=16266 Issue ID: 16266 Summary: @safe functions may dereference non-dereferenceable pointers Product: D Version: D2 Hardware: x86_64 OS: Linux Status: NEW

[Issue 12939] More uniform error messages for not nothrow and not @safe functions

2016-06-16 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12939 --- Comment #2 from github-bugzi...@puremagic.com --- Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/72e82e63d478b6f6d095255b020169a25b12154e partially address Issue 12939

[Issue 12939] More uniform error messages for not nothrow and not @safe functions

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

[Issue 11466] std.range.zip for nothrow and @safe functions

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

[Issue 12939] More uniform error messages for not nothrow and not @safe functions

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

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-12-17 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 --- Comment #4 from hst...@quickfur.ath.cx --- Zip.empty and Zip.popFront call enforce, which is not nothrow. This can't be eliminated because the runtime length of the ranges passed to zip() is not known, and zip() will throw an exception if

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-12-17 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 --- Comment #5 from bearophile_h...@eml.cc --- (In reply to hsteoh from comment #4) zip() will throw an exception if unequal-length ranges are passed to it. This is not true, this doesn't throw: void main() { import std.range: zip,

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-12-17 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 --- Comment #6 from hst...@quickfur.ath.cx --- Good idea. However, it will break compatibility with the current Zip struct, which unfortunately is public so some user code out there may be naming it directly. Looks like we'll have to introduce a

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-12-04 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 --- Comment #1 from bearophile_h...@eml.cc --- In dmd 2.067alpha this code compiles: import std.range: zip; void foo1(int[] data) @safe { foreach (pair; zip(data, data)) {} } void foo2(in int[] data) @safe { foreach (pair; zip(data, data))

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-12-04 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 --- Comment #2 from hst...@quickfur.ath.cx --- So this bug can be closed? --

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-12-04 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 --- Comment #3 from bearophile_h...@eml.cc --- (In reply to hsteoh from comment #2) So this bug can be closed? No, it can't because this fails still: import std.range: zip; void main() nothrow { foreach (p; zip([10], [20])) {} } --

[Issue 12939] More uniform error messages for not nothrow and not @safe functions

2014-06-18 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12939 hst...@quickfur.ath.cx changed: What|Removed |Added CC||hst...@quickfur.ath.cx --

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-06-18 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 hst...@quickfur.ath.cx changed: What|Removed |Added CC||hst...@quickfur.ath.cx --

[Issue 12939] More uniform error messages for not nothrow and not @safe functions

2014-06-18 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12939 hst...@quickfur.ath.cx changed: What|Removed |Added Keywords||safe --

[Issue 11466] std.range.zip for nothrow and @safe functions

2014-06-18 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=11466 hst...@quickfur.ath.cx changed: What|Removed |Added Keywords||safe --

[Issue 12939] New: More uniform error messages for not nothrow and not @safe functions

2014-06-17 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12939 Issue ID: 12939 Summary: More uniform error messages for not nothrow and not @safe functions Product: D Version: D2 Hardware: All OS: All Status: NEW

[Issue 11466] New: std.range.zip for nothrow and @safe functions

2013-11-07 Thread d-bugmail
https://d.puremagic.com/issues/show_bug.cgi?id=11466 Summary: std.range.zip for nothrow and @safe functions Product: D Version: D2 Platform: x86 OS/Version: Windows Status: NEW Keywords: rejects-valid Severity

[Issue 9918] Strange error: void initializers for pointers not allowed in safe functions

2013-08-04 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=9918 Lars T. Kyllingstad bugzi...@kyllingen.net changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 9918] New: Strang error: void initializers for pointers not allowed in safe functions

2013-04-11 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=9918 Summary: Strang error: void initializers for pointers not allowed in safe functions Product: D Version: D2 Platform: All OS/Version: All Status: NEW

[Issue 7803] Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors

2012-12-19 Thread d-bugmail
/2926c0a493254efeaaff21fe920a00db58f46693 partially fix Issue 7803 - Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors https://github.com/D-Programming-Language/dmd/commit/d6a2b1c95d8409e5e2ff0b60de64e2ee25283d96 Merge pull request #1388 from 9rnsr/fix7803 partially fix Issue 7803 - Regression(2.054

[Issue 7803] Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors

2012-12-19 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 7803] Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors

2012-12-19 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 --- Comment #9 from Kenji Hara k.hara...@gmail.com 2012-12-19 17:32:32 PST --- (In reply to comment #8) Now original code can be compiled as expected. Different from bug 6278, the internal catch and re-throwing which used for

[Issue 7803] Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors

2012-12-18 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||pull --- Comment #6

[Issue 7803] Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors

2012-07-29 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added CC|

[Issue 7803] Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors

2012-07-29 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 --- Comment #5 from yebblies yebbl...@gmail.com 2012-07-30 12:34:27 EST --- (In reply to comment #4) Is this really a regression? When did it work? I haven't tested it, but I assume it is the same cause as issue 6278, and needs the same fix

[Issue 7803] Regression(2.054) scope(success) in nothrow/@safe functions causes compile errors

2012-07-26 Thread d-bugmail
Summary|scope(success) in |Regression(2.054) |nothrow/@safe functions |scope(success) in |causes compile errors |nothrow/@safe functions ||causes compile errors Severity|normal

[Issue 7803] scope(success) in nothrow/@safe functions causes compile errors

2012-07-20 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 kekeni...@yahoo.co.jp changed: What|Removed |Added CC||kekeni...@yahoo.co.jp

[Issue 7803] scope(success) in nothrow/@safe functions causes compile errors

2012-04-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 Don clugd...@yahoo.com.au changed: What|Removed |Added CC||clugd...@yahoo.com.au ---

[Issue 7803] New: scope(success) in nothrow/@safe functions causes compile errors

2012-03-31 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7803 Summary: scope(success) in nothrow/@safe functions causes compile errors Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: minor

[Issue 5415] @Safe functions not working

2011-06-26 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5415 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 4132] pointer arithmetic accepted in @safe functions

2011-06-26 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4132 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 4132] pointer arithmetic accepted in @safe functions

2011-06-11 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4132 yebblies yebbl...@gmail.com changed: What|Removed |Added Keywords||patch CC|

[Issue 5415] @Safe functions not working

2011-06-11 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5415 yebblies yebbl...@gmail.com changed: What|Removed |Added Keywords||accepts-invalid, patch

@safe functions

2011-01-05 Thread Sean Eskapp
This is either a compiler bug, or outdated language documentation, but I'm having some freedom with @safe functions: * No casting from a pointer type to any type other than void*. * No modification of pointer values. * No taking the address of a local variable or function parameter

Re: @safe functions

2011-01-05 Thread Simen kjaeraas
Sean Eskapp eatingstap...@gmail.com wrote: This is either a compiler bug, or outdated language documentation, but I'm having some freedom with @safe functions: * No casting from a pointer type to any type other than void*. * No modification of pointer values. * No taking

Re: @safe functions

2011-01-05 Thread Lars T. Kyllingstad
On Wed, 05 Jan 2011 15:35:09 +, Sean Eskapp wrote: This is either a compiler bug, or outdated language documentation, but I'm having some freedom with @safe functions: * No casting from a pointer type to any type other than void*. * No modification of pointer values

[Issue 5415] New: @Safe functions not working

2011-01-05 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5415 Summary: @Safe functions not working Product: D Version: D2 Platform: All URL: http://www.digitalmars.com/d/2.0/function.html#functio n-safety OS/Version