http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55135
--- Comment #1 from benoit.barbot at gmail dot com 2012-10-30 10:28:22 UTC --- The file is too big to be attached. Here is a URL where you can find it: http://www.lsv.ens-cachan.fr/~barbot/cosmos/files/buggcc.ii
