[Issue 13572] etc.c.zlib must be nothrow

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Thu Jun 23 09:09:42 PDT 2016


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

--- Comment #10 from Sobirari Muhomori <dfj1esp02 at sneakemail.com> ---
(In reply to Ketmar Dark from comment #6)
> my understanding of @trusted (and @safe, for that matter) is that safety
> promise is nullified if someone passing invalid pointer to such functions.

That only applies to a @system caller, a @safe caller can't come up with an
invalid pointer, but it still can mess with data in other ways, if a @trusted
callee can't handle it, it means it has an unsafe interface.

--


More information about the Digitalmars-d-bugs mailing list