OSDev

Я когда то писал простенький компилятор подмножества Си, очень близкий к SmallC. В нем у меня было все просто - тип мог быть либо char, либо int, либо указателем на эти типы/массиввом. Теперь же, мне нужно реализовать все так, как это реализовано в C89. Т.е. должны парсится такие выражения:

Не представляю как это реализовать. Пробовал смотреть исходники TCC, но понял, что это займет черезчур много времение, надеюсь здесь помогут быстрее.

Всё так или иначе сведётся к спискам -- иначе это просто невозможно сделать.

Кажется, в TCC так и делали. Но ок, пусть список. Тогда как это будет выглядеть в списке:

Не представляю

Списком не хранят так как вложенность не отработать. Хранят деревом.

TCC не знаю что такое. Лучше изучите http://llvm.org/releases/3.4.2/cfe-3.4.2.src.tar.gz
Достаточно простой код.
или gcc порт apple
http://www.opensource.apple.com/source/ ... gcc/expr.c

Именно что списком. Дерево абсолютно не требуется, поскольку последовательность типов линейная, а не "ветвистая".

для указателей на функции требуется. аргументы в одной ветке, тип возвращаемого значения - в другой.

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

Тсс так и делает, почему делал?
он же никуда не делся! Тсс и сейчас живее всех живых!

файл исходников tccgen.c - начни с функции parse_expr_type (строка ~ 3400 и ниже)
файл исходников tcc.h - декларации структур тут.

Исходники качать отсюда http://bellard.org/tcc/

Т.к. парсер тсс писался в ручную, его код зачастую проще для понимания чем творения того же antlr'a, рекомендую.