Fixes the false positive in https://github.com/llvm/llvm-project/issues/122934 memcpy is allowed to bypass strict aliasing rules (see https://en.cppreference.com/c/string/byte/memcpy) so we shouldn't alter shadow memory when it is used
Fixes the false positive in https://github.com/llvm/llvm-project/issues/122934 memcpy is allowed to bypass strict aliasing rules (see https://en.cppreference.com/c/string/byte/memcpy) so we shouldn't alter shadow memory when it is used