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

S>Т.е., получается, нельзя в точности сказать что именно не возможно, показать пальцем. Как только покажешь пальцем — проблема исчезает. Но в целом задача считается не выполнимой автоматизированно.

Можно ли взять условный LLVM, и запилить транспиллер из Си в Rust? Думаю, что да. Надо ли это кому? Думаю, что нет.

P.S. Задача более объемная, чем кажется, потому что с точки зрения практической применимости, надо (1) генерировать не слишком уж пессимизированный выходной код (2) надо поддерживать расширения gcc. По крайней мере те, которые активно используются.