Здравствуйте, Pzz, Вы писали:

Pzz>Это, конечно, недоработка со стороны разработчиков компиляторов C/C++.

Непонятно, почему это вообще должно парить разработчиков компилятора.
Это документированное поведение функции memcpy. Если некто неправильно ее использует, это его проблемы.
А то может вообще требовать от компилятора обнаруживать все потенциальные баги?
Тогда это уже не C/C++ надо, а доказательное программирование.