From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32656 invoked by alias); 14 Mar 2008 22:45:20 -0000 Received: (qmail 32364 invoked by uid 48); 14 Mar 2008 22:44:35 -0000 Date: Fri, 14 Mar 2008 22:45:00 -0000 Message-ID: <20080314224435.32363.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug middle-end/35593] [4.3 Regression] spurious warning "array subscript is below array bounds" with void* function argument plus -O2 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: 2008-03/txt/msg01203.txt.bz2 ------- Comment #1 from rguenth at gcc dot gnu dot org 2008-03-14 22:44 ------- Because we fold the pointer addition to &a->d[-8] ;) -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Component|c++ |middle-end Ever Confirmed|0 |1 Keywords| |wrong-code Last reconfirmed|0000-00-00 00:00:00 |2008-03-14 22:44:35 date| | Summary|spurious warning "array |[4.3 Regression] spurious |subscript is below array |warning "array subscript is |bounds" with void* function |below array bounds" with |argument plus -O2 |void* function argument plus | |-O2 Target Milestone|--- |4.3.1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35593