------- Comment #21 from rguenth at gcc dot gnu dot org 2009-12-16 20:53 ------- In a discussion we decided that introducing a __builtin_undefined () that we can assign to variables at the point they die would be the proper way to fix this.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39604