Currently, GCC aliasing has some issues with variables being marked clobbered unnecessarily, as well as in being able to disambiguate certain types of things in the middle end (the backend can do it fine).

Work is planned by Diego Novillo and Daniel Berlin to address these issues, as well as add interprocedural alias analysis and other improvements.

A new gcc development branch, the "improved-aliasing-branch", has been created as a place to put this work while it is in development.

The actual todo list is listed on the Improved_Aliasing_Todo_List

None: Improved_alias_analysis (last edited 2008-01-10 19:39:01 by localhost)