I have pasted here what GCC 4.8 says: https://gist.github.com/nico159/5597288/raw/6cd9732b6155267bfaaeb9511ab261be45b3555b/gistfile1.txt