Здравствуйте, MaximE, Вы писали:

ME>Любая "непрозрачная" ф-ция может изменить errno. errno не объявлен volatile.

Он внешний следовательно, компилятору принципиально не может быть известно количество желающих его модифицировать, и оптимизации он никак не подлежит.