> Since I don't see why a buf[3] should get (two or even three times) more > memory assigned than buf[8], > I assume this is a bug. Yes it is a bug but it is already filed as PR 9624 <http://gcc.gnu.org/PR9624>.