Mark variables addressable if they are copied using libcall in RTL expander

Eric Botcazou ebotcazou@adacore.com
Wed Jun 22 13:15:00 GMT 2011


> I fear this isn't enough considering pass-by-value aggregates that
> are callee copied.  And I guess there are other cases.  Eric, what
> do you suggest here?

I agree that there are probably other cases, but this seems to be the best way 
out for now.  There is still similar code in the expander for asm operands 
(dominated by the same code in the gimplifier) so calling mark_addressable 
this late is presumably acceptable.

-- 
Eric Botcazou



More information about the Gcc-patches mailing list