------- Comment #3 from redi at gcc dot gnu dot org 2009-11-27 10:46 ------- Paolo, should int x also be set to zero?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42191
------- Comment #3 from redi at gcc dot gnu dot org 2009-11-27 10:46 ------- Paolo, should int x also be set to zero?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42191