https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104920
--- Comment #2 from Ali Kouhzadi <kouhzadi at rohumm dot com> --- Thanks Andrew for the response. Examples bad_03.cpp and bad_04.cpp (attached) show a case where this works as expected on an STL array. I guess the point is that it's somewhat unreliable, and improvements would be greatly appreciated.