From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20787 invoked by alias); 9 Jul 2010 13:28:21 -0000 Received: (qmail 20656 invoked by uid 48); 9 Jul 2010 13:28:02 -0000 Date: Fri, 09 Jul 2010 13:28:00 -0000 Message-ID: <20100709132802.20655.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/44885] [4.6 regression] miscompilation of gnat.dg/aliasing3.adb after mem-ref2 In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "rguenth at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2010-07/txt/msg01000.txt.bz2 ------- Comment #4 from rguenth at gcc dot gnu dot org 2010-07-09 13:28 ------- Btw, can we amend the stmt verifier to check that the address of such a thing is not taken? I'm thinking of verify_expr here: case ADDR_EXPR: { tree tem; gcc_assert (is_gimple_address (t)); /* Skip any references (they will be checked when we recurse down the tree) and ensure that any variable used as a prefix is marked addressable. */ for (x = TREE_OPERAND (t, 0); handled_component_p (x); x = TREE_OPERAND (x, 0)) ; Eric, you probably know best what should be checked, can you prepare a patch (that hopefully passes testing ... huh)? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44885