X-Recipient: archive-cygwin AT delorie DOT com DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:reply-to:subject:to:references:from:message-id :date:mime-version:in-reply-to:content-type :content-transfer-encoding; q=dns; s=default; b=tFqybp3+wNzgBs22 7OLzwN/ulApmahmc9v3n6RErg3nHyTtjtDi9M6T6lx8LM6GVkTRS6IGvVRLNoA7f 9B/ANaw/5aSei0gNc5bfIiw9xrTi8aq2EN0uc5iGqWj2ctK+byp1wTcepunHZQtC Wd364KII4O5+sF/VXLD/fJVhjew= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:reply-to:subject:to:references:from:message-id :date:mime-version:in-reply-to:content-type :content-transfer-encoding; s=default; bh=1yZ1qaPVdrVlyaF3iatolO EYlYU=; b=DlWrkuwEidnmnDr4fKLXUVLq7EmaW212gX6ykjjGJABKWwvl5T37l6 FOOETAoV9JZaFrOjApA2C3XH+Psff0hc17YJNjKqGTO7RXwbDGhb30tFH83TRWMm yRSOcyyNf7ciiZuvKNcoc7emx6gELpJyYyKk7ZIS0hexRzQTbhkvs= Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cygwin-owner AT cygwin DOT com Mail-Followup-To: cygwin AT cygwin DOT com Delivered-To: mailing list cygwin AT cygwin DOT com Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_LOW autolearn=no version=3.3.2 spammy=fraction X-HELO: smtp-out-so.shaw.ca Reply-To: Brian DOT Inglis AT SystematicSw DOT ab DOT ca Subject: Re: FPE in localtime.cc To: cygwin AT cygwin DOT com References: <20180709164947 DOT GE27673 AT calimero DOT vinschen DOT de> <20180709190729 DOT GF27673 AT calimero DOT vinschen DOT de> From: Brian Inglis Openpgp: preference=signencrypt Message-ID: Date: Tue, 10 Jul 2018 19:30:07 -0600 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-IsSubscribed: yes On 2018-07-10 07:35, cyg Simple wrote: > On 7/9/2018 3:07 PM, Corinna Vinschen wrote: >> On Jul 9 11:16, Brian Inglis wrote: >>> On 2018-07-09 10:49, Corinna Vinschen wrote: >>>> On Jul 9 15:47, Lavrentiev, Anton (NIH/NLM/NCBI) [C] wrote: >>>>> the following sample coredumps with FPE at localhost.cc:1962 with the latest snapshot (6/29/2018): >>> ... >>>> You can simplify your testcase by not calling any time functions: >>>> #define _GNU_SOURCE >>>> #include >>>> #include >>>> #include >>>> #define SECSPERDAY 86400 >>>> int main(int argc, char **argv) >>>> { >>>> feenableexcept(FE_ALL_EXCEPT); >>>> long tdays = argc > 1 ? strtol (argv[1], NULL, 10) : 189; >>>> long seconds = tdays * SECSPERDAY + 0.5; >>>> printf ("%ld\n", seconds); >>>> } >>>> This generates a SIGFPE on Linux as well. >>>> The line computing seconds is the same line as used by the localtime >>>> function. Cygwin shares the entire localtime code with the various >>>> BSDs, so I guess they would have the same problem. >>> What is that line meant to do? Am I missing something? >>> It should be the equivalent of (tdays*SECSPERDAY*2 + 1)/2! >>> It converts an integer value to double, adds 1/2, and throws it away on >>> conversion back, unless the intermediate has insufficient mantissa bits, in >>> which case, it loses the low bits? >> You may want to ask the original author why he used FP arithmetic in >> this place. Maybe it's a way to avoid integer overflow. I'm reluctant >> to change this given that this code is still used in BSD as well. > I don't see a fetestexcept() being used. Setting all the bits is > definitely going to raise an exception. >>>> Bottom line is, don't bulk enable FP exceptions, but only if you really >>>> need it for certain parts of your code. Don't expect library functions >>>> to be SIGFPE clean under all circumstances. >>> Maybe selectively enable specific FPEs to check for where needed. >>> Or be careful what you wish for, as you just might get a lot more than you >>> bargained for ;^> >> That's what I meant. > Yes, see: > https://en.cppreference.com/w/c/numeric/fenv/FE_exceptions Nasty: I didn't realize decimal fraction to binary conversions would raise FE_INEXACT! -- Take care. Thanks, Brian Inglis, Calgary, Alberta, Canada -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple