From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 44076 invoked by alias); 23 Jul 2015 10:19:54 -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 44059 invoked by uid 89); 23 Jul 2015 10:19:53 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.1 required=5.0 tests=BAYES_00,FREEMAIL_FROM,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 X-HELO: fencepost.gnu.org Received: from fencepost.gnu.org (HELO fencepost.gnu.org) (208.118.235.10) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-SHA encrypted) ESMTPS; Thu, 23 Jul 2015 10:19:52 +0000 Received: from eggs.gnu.org ([2001:4830:134:3::10]:38621) by fencepost.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1ZIDbS-00036w-77 for gcc-patches@gnu.org; Thu, 23 Jul 2015 06:19:50 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZIDbR-0004XU-26 for gcc-patches@gnu.org; Thu, 23 Jul 2015 06:19:49 -0400 Received: from mail-ie0-x230.google.com ([2607:f8b0:4001:c03::230]:34528) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZIDbQ-0004XO-TQ for gcc-patches@gnu.org; Thu, 23 Jul 2015 06:19:48 -0400 Received: by iebmu5 with SMTP id mu5so188130641ieb.1 for ; Thu, 23 Jul 2015 03:19:48 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.107.13.201 with SMTP id 192mr12205522ion.70.1437646788401; Thu, 23 Jul 2015 03:19:48 -0700 (PDT) Received: by 10.107.142.7 with HTTP; Thu, 23 Jul 2015 03:19:48 -0700 (PDT) In-Reply-To: <55AFB2AA.60204@mentor.com> References: <55A6C1DF.1050108@mentor.com> <20150720183141.GB20717@f1.c.bardezibar.internal> <55AD9093.1060206@mentor.com> <55AE5340.2010700@mentor.com> <20150721184249.GA7417@f1.c.bardezibar.internal> <55AFB2AA.60204@mentor.com> Date: Thu, 23 Jul 2015 10:39:00 -0000 Message-ID: Subject: Re: [PATCH] Document ftrapv/fwrapv interaction From: Richard Biener To: Tom de Vries Cc: "gcc-patches@gnu.org" Content-Type: text/plain; charset=UTF-8 X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2607:f8b0:4001:c03::230 X-IsSubscribed: yes X-SW-Source: 2015-07/txt/msg01914.txt.bz2 On Wed, Jul 22, 2015 at 5:11 PM, Tom de Vries wrote: > [ Re: [RFC, PR66873] Use graphite for parloops ] > On 22/07/15 13:01, Richard Biener wrote: >> >> why only scalar floats? Please use FLOAT_TYPE_P. >> >> + if (INTEGRAL_TYPE_P (type)) >> + return (!TYPE_OVERFLOW_TRAPS (type) >> + && TYPE_OVERFLOW_WRAPS (type)); >> >> it cannot both wrap and trap thus TYPE_OVERFLOW_WRAPS is enough. > > > Hmm, indeed, when specifying both, one is quietly ignored. The documentation > also doesn't mention this. > > Attached untested patch mentions this ftrapv/fwrapv interaction in the docs. > > OK for trunk, if bootstrap succeeds? Ok. Richard. > Thanks, > - Tom > >