Re: Taking an AST back into C

torbenm@diku.dk (=?iso-8859-1?q?Torben_=C6gidius_Mogensen?=) schreibt:


>Control structure isn't so bad, as loops and if-then-else constructs
>are fairly easy to detect.


One of the usually ignored or inappropriately "solved" problems are
complex conditional expressions, with short circuit evaluation. It's
not so easy to determine the range of conditional expressions, and how
to translate it back into high level code.


>The main problem is data structures, as different data structures are
>translated into similar code.


That's true, but not the hardest problem. Often it's undecidable what
data type a pointer actually refers to, be it a structure, or the
first member of that structure, or the first element in an array
etc. It's a real puzzle to make all subroutine argument data types
match all related calls, in detail when typecasts were used in the
original code.


DoDi

Return to the comp.compilers page.
Search the comp.compilers archives again.