------- Comment #3 from rguenth at gcc dot gnu dot org 2009-03-24 17:55 ------- It might be better to place the check after the loop (and put an assert in set_copy_of_val that triggers the copy may not happen).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39548
