From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-331524-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 1009 invoked by alias); 20 Sep 2010 15:49:11 -0000
Received: (qmail 943 invoked by alias); 20 Sep 2010 15:48:58 -0000
Date: Mon, 20 Sep 2010 15:49:00 -0000
Message-ID: <20100920154858.942.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-45605-176@http.gcc.gnu.org/bugzilla/>
Subject: [Bug c++/45605] Missed devirtualization
In-Reply-To: <bug-45605-176@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "hubicka at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
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
X-SW-Source: 2010-09/txt/msg02248.txt.bz2



------- Comment #20 from hubicka at gcc dot gnu dot org  2010-09-20 15:48 -------
Subject: Bug 45605

Author: hubicka
Date: Mon Sep 20 15:48:42 2010
New Revision: 164438

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=164438
Log:

        PR tree-optimize/45605
        * cgraph.h (const_value_known_p): Declare.
        (varpool_decide_const_value_known): Remove.
        * tree-ssa-ccp.c (get_base_constructor): Use it.
        * lto-cgraph.c (compute_ltrans_boundary): Likewise.
        * expr.c (string_constant): Likewise.
        * tree-ssa-loop-ivcanon.c (constant_after_peeling): Likewise.
        * ipa.c (ipa_discover_readonly_nonaddressable_var,
        function_and_variable_visibility): Likewise.
        * gimplify.c (gimplify_call_expr): Likewise.
        * gimple-fold.c (get_symbol_constant_value): Likewise.
        * varpool.c (varpool_decide_const_value_known): Replace by...
        (const_value_known_p): ... this one; handle other kinds of DECLs
        too and work for automatic vars.
        (varpool_finalize_decl): Use const_value_known_p.

        * lto.c (lto_promote_cross_file_statics): Use const_value_known_p.

        * g++.dg/tree-ssa/pr45605.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr45605.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraph.h
    trunk/gcc/expr.c
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimplify.c
    trunk/gcc/ipa.c
    trunk/gcc/lto-cgraph.c
    trunk/gcc/lto/ChangeLog
    trunk/gcc/lto/lto.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ccp.c
    trunk/gcc/tree-ssa-loop-ivcanon.c
    trunk/gcc/varpool.c


-- 


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