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

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Wed Jun 22 11:41:09 PDT 2016


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

--- Comment #7 from Ketmar Dark <ketmar at ketmar.no-ip.org> ---
i.e. i always thought that @trusted code should survive external errors (like
courrupted data), and does check for null pointers, etc. but no code can
validate all invalid arguments passed by caller. there is no way to know if
passed pointer and length, for example, is absolutely valid. and if i'll change
`.ptr` field of delegate with closure, for example (it is publicly available,
and i can mess with it), and then pass that delegate to @safe... KABOOM. so i'm
pretty sure that my understanding is correct. actually, i'm so sure that there
is absolutely no reason in trying to change my mind on that. ;-)

--


More information about the Digitalmars-d-bugs mailing list