http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45579
Martin Jambor <jamborm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jamborm at gcc dot gnu.org --- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> 2012-03-19 18:00:58 UTC --- Confirmed as recently as this February? How can that be? I have just checked that the testcase from PR 43665, comment #8 and verified the checkoptimal subroutine is cloned and constants are propagated into it, despite it having fnspec type attributes. If you have a testcase where you believe fnspec attributes are the reason for not performing IPA-CP, then please post it here, I'd certainly like to have a look. Having said that, it is certainly true that the new IPA-CP accomplish this by simply not deleting the newly-unused parameters, whereas arguably it should update the fnspec attributes instead. If you think that is something we should have a PR for, please change the description accordingly, or open a new PR. Otherwise I'll close this next week as a WORKSFORME. (On a related and personal note, I dislike the representation of the fnspec attributes very much, I think we should move it to the actual parm_decls or to the call graph or someplace, updating a string_cst just feels like a work-around.)