------- Comment #6 from pinskia at gcc dot gnu dot org 2006-10-08 20:54 ------- When I looked at this for work, this is a hard one to fix correctly. We could ignore may_alias on template arguments but that will really fix the problem. What we need to do is to record the attribute when processing templates and then process them while instaintating them. If I get some next week I might get around to do for work and once the copyright assignment problem gets cleared up, I will post it.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28642