The current abstract syntax tree of GCC uses a dynamically typed ├╝ber-union for nearly all nodes. The desire for a statically typed tree design has been raised several times over recent years, but there has been no concerted effort to implement such a design. This paper describes the impacts of the current design, both in implementation and performance degradation. It presents a design for statically typed trees, along with case studies of part of the conversion. The paper outlines a plan for full conversion and discuss further improvements that this would enable.

Note: By clicking on the above link, this paper will be emailed to your EE Times log-in address by Mentor Graphics.