Вышла новая public-версия компилятора Ады GNAT (GNU NYU Ada Translator), пока всё ещё основанная на back-end'е gcc 2.8.1. Добавлено несколько оптимизаций, новые пакеты, улучшено и без того высокое качество сообщений об ошибках.

Список изменений: ftp://ftp.cs.nyu.edu/pub/gnat/3.14p/f...

>>> Скачать

На lwn.net появилось сообщение о проведенном автоматическом анализе ядра с помощью расширения для gcc, написанного в Стенфорде. Вылавливались трудно обнаруживаемые ошибки, такие как использование памяти после её освобождения, ошибки при использовании замков, функции, которые вызываются при разрешённых и при запрещённых прерываниях, и другие.

>>> Подробности