------- Comment #2 from rguenth at gcc dot gnu dot org 2010-02-03 11:18 ------- Being able to annotate functions that do _not_ set errno might be useful as well. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30555