------- Comment #1 from rguenth at gcc dot gnu dot org 2010-04-21 09:29 ------- They are feasible, but they do need a very strict specification to be usable. With 4.6 you can check the -alias dumps when building with -flto -fipa-pta to see if the compiler maybe can already analyze the situation correctly.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43827
