[Bug tree-optimization/47271] [4.6 Regression] if-conversion removes a test (if), the function generates invalid outputs

[spop at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47271

--- Comment #12 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-24 
19:57:40 UTC ---
Created attachment 23106
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23106
proposed fix

Thanks Jakub for thinking out a counter example, what about this fix?