http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55117
--- Comment #8 from Walter Spector <w6ws at earthlink dot net> 2013-01-04 17:22:31 UTC --- Good point. The key is: > T1E%T1_T%X= 2.00000000 , If the full expanded version is used, in other words %T1_T is specified, the example works. (On Intel too.)