------- Comment #12 from rguenth at gcc dot gnu dot org 2006-11-30 14:08 ------- The code has not undefined behavior, but I think removing the check is ok (it's certainly not supposed to trigger _inside_ the assignment operator or the copy constructor).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30017
