From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-457445-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 4842 invoked by alias); 31 Jul 2014 09:34:43 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 4734 invoked by uid 55); 31 Jul 2014 09:34:34 -0000
From: "glisse at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/60517] warning/error for taking address of member of a temporary object
Date: Thu, 31 Jul 2014 09:34:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: glisse at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-60517-4-2OlaJrcQoh@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60517-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60517-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-07/txt/msg02036.txt.bz2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60517

--- Comment #15 from Marc Glisse <glisse at gcc dot gnu.org> ---
Author: glisse
Date: Thu Jul 31 09:33:58 2014
New Revision: 213323

URL: https://gcc.gnu.org/viewcvs?rev=213323&root=gcc&view=rev
Log:
2014-07-31  Marc Glisse  <marc.glisse@inria.fr>

    PR c++/60517
gcc/c/
    * c-typeck.c (c_finish_return): Return 0 instead of the address of
    a local variable.
gcc/cp/
    * typeck.c (maybe_warn_about_returning_address_of_local): Return
    whether it is returning the address of a local variable.
    (check_return_expr): Return 0 instead of the address of a local
    variable.
gcc/c-family/
    * c.opt (-Wreturn-local-addr): Move to common.opt.
gcc/
    * common.opt (-Wreturn-local-addr): Moved from c.opt.
    * gimple-ssa-isolate-paths.c: Include diagnostic-core.h and intl.h.
    (isolate_path): New argument to avoid inserting a trap.
    (find_implicit_erroneous_behaviour): Handle returning the address
    of a local variable.
    (find_explicit_erroneous_behaviour): Likewise.
gcc/testsuite/
    * c-c++-common/addrtmp.c: New file.
    * c-c++-common/uninit-G.c: Adapt.

Added:
    trunk/gcc/testsuite/c-c++-common/addrtmp.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c.opt
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-typeck.c
    trunk/gcc/common.opt
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck.c
    trunk/gcc/gimple-ssa-isolate-paths.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/c-c++-common/uninit-G.c