[Issue 14336] Invalid memory access in struct destructor in std.uni

[d-bugmail at puremagic.com]

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

--- Comment #5 from Dmitry Olshansky <dmitry.olsh at gmail.com> ---
(In reply to Carsten Blüggel from comment #4)
> (In reply to Vladimir Panteleev from comment #0)
> > Valgrind (with my Valgrind branch [1]) reports an incorrect memory access in
> > std.uni.CowArray destructors (see attachment).
> 
> I submitted https://github.com/dlang/phobos/pull/6041 to fix a std.uni.d
> -dip1000 issue (there is no @trusted in InversionList!GcPolicy, CowArray or
> GcPolicy any more (only ReallocPolicy currently still has @trusted), thus
> theoretically it should be memory safe for GcPolicy) and want to check,
> whether Your issue is fixed as well.
> I assume, current druntime code doesn't cover memcheck, thus Your valgrind
> branch is still required. Due to my current lack of sufficient druntime
> knowledge, I failed to merge Your valgrind branch (conflicts in
> src/gc/impl/conservative/gc.d).
> 


Sadly it won't fix low-level detail of using the data allocated from GC during
finalization.

On the other hand that makes Finalizers in GC pretty much useless as you can't
touch any memory.

--