http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50675 --- Comment #2 from markflorisson88 <markflorisson88 at gmail dot com> 2011-10-09 13:46:27 UTC --- Indeed, you are right. My apologies, I should teach myself to use default(none).