With gcc 4.8.1 all works as it should.