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

N_>Я о двусмысленности трактования идентификатора в скобках, при разборе выражения.
N_>(hello)...
N_>Это может быть либо c-style-cast либо переменная в скобках.

Пожобная двусмысленность не может быть обработана на этаме синтаксического анализа, так как на данном этапе происходит разбор выражнния исключительно по КОНТЕКСТНО СВОБОДНОЙ грамматике. А описанная тобой двусмысленность может быть обработана контекстно зависимой грамматикой, а следовательно это может произойти только на этапе семантического анализа.