http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60300 --- Comment #1 from Matthijs Kooijman <matthijs at stdin dot nl> --- I noticed I didn't use -O in the output I pasted, but I just confirmed that the results are the same with -Os and -O3.