https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67794
Martin Jambor <jamborm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jamborm at gcc dot gnu.org
Assignee|aoliva at gcc dot gnu.org |jamborm at gcc dot
gnu.org
--- Comment #6 from Martin Jambor <jamborm at gcc dot gnu.org> ---
(In reply to Alexandre Oliva from comment #5)
> Martin, why doesn't SRA's modify_function use tree_versioning's args_to_skip
> infrastructure to remap the function
Because it does a few more transformations than just plain removal.
In fact, the plan (very long term, apparently) is to replace
args_to_skip with something akin to IPA-SRA's adjustments so that we
can do all this in truly IPA way.
>, including its prototype, and instead
> makes an (incomplete) work itself? We end up with cloned PARM_DECLs that
> aren't parms at all, which may confuse other parts of the compiler.
Well, it does that, of course, otherwise it would have never passed
the testsuite, it's just that, ehm, the remapping from PARM_DECLS to
VAR_DECLs is not called when processing GIMPLE_ASMs.
I'll prepare a fix.
