[Bug c/59753] Missing -Woverflow warning with signed constant conversion between T_MAX+1 and UT_MAX

["vincent-gcc at vinc17 dot net" <gcc-bugzilla@gcc.gnu.org>]

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

Vincent Lefèvre <vincent-gcc at vinc17 dot net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|WORKSFORME                  |---

--- Comment #2 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
-Wconversion is used to warn about possibly-suspicious valid code such as:

  unsigned ui = -1;

(see the gcc man page), not for overflows. At least there is an inconsistency
in the use of warnings. There is no reason why 65535 and 65536 should be
treated differently when assigned to a short: neither value is representable in
a short.
>From gcc-bugs-return-442634-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Feb 05 11:42:12 2014
Return-Path: <gcc-bugs-return-442634-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 7778 invoked by alias); 5 Feb 2014 11:42:12 -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
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 7693 invoked by uid 48); 5 Feb 2014 11:42:09 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/60042] vectorizer still does too many dependence tests for himeno:jacobi
Date: Wed, 05 Feb 2014 11:42: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: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: dependson
Message-ID: <bug-60042-4-Itia2QXHxQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60042-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60042-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-02/txt/msg00391.txt.bz2
Content-length: 425

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`042

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Depends on|                            |23855

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
For analysis of the DRs in outer loops we need to fix PR23855.