Добрый вечер!

On Mon, 11 Jan 2016, Ivan Zakharyaschev wrote:

> Вот продолжение -- промежуточный этап (пока не очень полезный)
> создания переписывателя GNU C extensions.
>
> На этом этапе он должен ставить вложенные функции на верхний уровень
> (без какой-либо проверки и переписывания параметров и т.п.; но с точки
> зрения внутреннего устройства это приближает к реализации цели).

> (1 -- по номеру сообщения; в предыдущем сообщении уже было в основном
> описано, как производить его запуск и пр. это сообщение сохранено как
> [ann1.md](http://hub.darcs.net/imz/cuglify/browse/ann1.md).)

На одном из следующих этапов ожидается (ещё до окончательной
готовности), что преобразователь будет уметь правильно работать с
вложенными функциями, которые только читают переменные из local scope
(но не пишут в них). (На этапе 1, описанном в предыдущем сообщении --
только с теми, которые не пишут и не читают. + нет конфликтов имён)

В поиске простых вложенных функций посмотрим на патч (предложил mike@)
http://git.altlinux.org/gears/r/rpm.git?p=rpm.git;a=commitdiff;h=2cee1a78a713a9e9cb2dfc66a5310d497e72dd33
(committer Gleb Fotengauer-Malinovskiy <glebfm@altlinux.org>
Thu, 21 May 2015 15:08:21 +0000 (18:08 +0300)).

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

Кое-что простое тут находится.

Функции, затронутые в этом патче:

put_digit: на первый взгляд read-only
(читает указатель, пишет уже туда;
могло бы годиться для следующего промежуточного этапа), но на самом
деле меняет и указатель и потом это изменённое значение используется,
так что: r/w

put6bits, put4bits: то же (r/w)

log2i: none (ни читает, ни пишет; т.е. годится для теста сейчас)

cmp: none
hash: none
uniqv: none

-- эти тоже.


Best regards,
Ivan