https://bugs.winehq.org/show_bug.cgi?id=46661
--- Comment #16 from Nikolay Sivov bunglehead@gmail.com --- You can corrupt any memory at any point during method execution, there is no way to check for that.
There are many places that need improvement in shell32 or other modules, like fixed size buffer copies without length check. Case you are describing is not interesting.