------- Comment #3 from janus at gcc dot gnu dot org 2010-08-22 11:10 ------- (In reply to comment #2) > The problems seems to be that resolve_symbol is called later than the > resolve_formal_arglist check for pureness, i.e. one first checks whether "p" > is > pure before one copies the attr.pure from ts.interface->attr.pure - which > explains the failure.
Exactly. I'm regtesting a patch right now. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45366