From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4450 invoked by alias); 20 Oct 2015 22:00:19 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 4387 invoked by uid 89); 20 Oct 2015 22:00:15 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.3 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 20 Oct 2015 22:00:14 +0000 Received: from nat-ies.mentorg.com ([192.94.31.2] helo=SVR-IES-FEM-02.mgc.mentorg.com) by relay1.mentorg.com with esmtp id 1Zoex0-00060i-GU from joseph_myers@mentor.com ; Tue, 20 Oct 2015 15:00:10 -0700 Received: from digraph.polyomino.org.uk (137.202.0.76) by SVR-IES-FEM-02.mgc.mentorg.com (137.202.0.106) with Microsoft SMTP Server id 14.3.224.2; Tue, 20 Oct 2015 23:00:09 +0100 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.82) (envelope-from ) id 1Zoewx-0007ix-UP; Tue, 20 Oct 2015 22:00:08 +0000 Date: Tue, 20 Oct 2015 22:10:00 -0000 From: Joseph Myers To: Jeff Law CC: Eric Botcazou , Subject: Re: [patch] Fix failure of ACATS c45503c at -O2 In-Reply-To: <56268F8A.1040707@redhat.com> Message-ID: References: <1990513.tXxA4OvBVE@polaris> <56268F8A.1040707@redhat.com> User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" X-SW-Source: 2015-10/txt/msg01993.txt.bz2 On Tue, 20 Oct 2015, Jeff Law wrote: > > 2015-10-20 Eric Botcazou > > > > * fold-const.c (tree_binary_nonnegative_warnv_p) : > > Recurse on operand #1 instead of operand #0. > > : Do not recurse. > > : Likewise. > Isn't this a function of the language and in some cases isn't it > implementation defined (true for C/C++ until C++11)? The language determines *which* *_DIV_EXPR or *_MOD_EXPR is used. The semantics of each of them should be language-independent. -- Joseph S. Myers joseph@codesourcery.com