[Bug middle-end/51323] [4.6 Regression] g++ confuses this with function argument in optimized call

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51323

--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-08 13:36:46 UTC ---
Author: jakub
Date: Thu Dec  8 13:36:40 2011
New Revision: 182112

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182112
Log:
    Backport from mainline
    2011-12-05  Jakub Jelinek  <jakub@redhat.com>
            Eric Botcazou  <ebotcazou@adacore.com>

    PR middle-end/51323
    PR middle-end/50074
    * calls.c (internal_arg_pointer_exp_state): New variable.
    (internal_arg_pointer_based_exp_1,
    internal_arg_pointer_exp_scan): New functions.
    (internal_arg_pointer_based_exp): New function.
    (mem_overlaps_already_clobbered_arg_p): Use it.
    (expand_call): Free internal_arg_pointer_exp_state.cache vector
    and clear internal_arg_pointer_exp_state.scan_start.

    2011-11-26  Joern Rennecke  <joern.rennecke@embecosm.com>

    PR middle-end/50074
    * calls.c (mem_overlaps_already_clobbered_arg_p):
    Return false if no outgoing arguments have been stored so far.

    2011-12-05  Jakub Jelinek  <jakub@redhat.com>
            Eric Botcazou  <ebotcazou@adacore.com>

    PR middle-end/51323
    PR middle-end/50074
    * gcc.c-torture/execute/pr51323.c: New test.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/execute/pr51323.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/calls.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog