On 08/02/2014 05:08 PM, Andrei Alexandrescu wrote:
On 8/2/14, 5:44 AM, Artur Skawina via Digitalmars-d wrote:auto fx(ubyte* p, size_t len) @safe { assert_(len>0); if (len>=1) return p[0]; return -1; }As an aside I think it's a bug that this function passes @safe. It should not be able to safely dereference the pointer because it may be e.g. just past the end of the array. Has this been submitted as a bug? -- Andrei
So far I have been under the impression that dereferencing pointers in @safe is intended to be ok, but creating pointers to inexistent data is intended to be un-@safe.
