From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-432964-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 15262 invoked by alias); 30 Oct 2013 04:07:45 -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 15183 invoked by uid 48); 30 Oct 2013 04:07:36 -0000
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/58920] Overeager optimization based on TREE_THIS_NOTRAP
Date: Wed, 30 Oct 2013 04:07:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia 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-58920-4-KKwYeNBk2k@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58920-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58920-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: 2013-10/txt/msg02108.txt.bz2

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The problem is the middle-end treats pointers and references as the same so
sometimes it removes the casting between the pointer type and reference types. 
GCC has no representation of conditional no trapping which is what is needed
here.