Just a ping here.. what do you folks say about http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19300 would you like me to provide additional information, pls let me know. -- Cheers, /ChJ