GNU gcc commit:  HEAD is now at 14c24ce... 2013-02-18  Richard Biener  <rguenther@suse.de>