------- Comment #3 from listor3 dot rombobeorn at tdcpost dot se 2007-11-16 23:16 ------- I've never seen any numbers on just how expensive -gnato is, but provided that the cost is moderate I think it should be on by default. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34117