[Bug middle-end/45579] Re-enable IPA-CP for "fn spec"

["jamborm at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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.)