On Fri, Mar 28, 2014 at 05:35:12PM +0100, Martin Jambor wrote:
> after much confusion on my part, this is the proper fix for PR 60647.
> IPA-SRA can get confused a lot when a formal parameter is a pointer
> but the corresponding actual argument is not. So this patch adds a
> check that their types pass useless_type_conversion_p check.
>
> Bootstrapped and tested on x86_64-linux. OK for trunk?
Ok, thanks.
> 2014-03-28 Martin Jambor <mjam...@suse.cz>
>
> PR middle-end/60647
> * tree-sra.c (callsite_has_enough_arguments_p): Renamed to
> callsite_arguments_match_p. Updated all callers. Also check types of
> corresponding formal parameters and actual arguments.
> (not_all_callers_have_enough_arguments_p) Renamed to
> some_callers_have_mismatched_arguments_p.
>
> testsuite/
> * gcc.dg/pr60647-1.c: New test.
> * gcc.dg/pr60647-2.c: Likewise.
Jakub
