------- Comment #1 from pinskia at gcc dot gnu dot org 2010-03-18 21:43 ------- Hint here, character types can alias any other type. Also I think s1 and s2 need to be marked as restrict to get the aliasing correct.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43434