http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50342
--- Comment #14 from simon at pushface dot org 2013-01-31 20:35:01 UTC --- The original problem doesn't occur with gcc version 4.8.0 20130131 (experimental) [trunk revision 195611] (GCC), built with GNAT GPL 2012.