http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24985 --- Comment #33 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-13 02:25:48 UTC --- Thanks Manu for the reminder, I have a couple of pending things in my TODO and then I will resurrect it for the great 'caret times' ;)