From patchwork Thu Oct 31 18:25:27 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Adhemerval Zanella Netto X-Patchwork-Id: 1187627 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=sourceware.org (client-ip=209.132.180.131; helo=sourceware.org; envelope-from=libc-alpha-return-106506-incoming=patchwork.ozlabs.org@sourceware.org; receiver=) Authentication-Results: ozlabs.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; secure) header.d=sourceware.org header.i=@sourceware.org header.b="Q+BJGxw7"; dkim=pass (2048-bit key; unprotected) header.d=linaro.org header.i=@linaro.org header.b="PzOpfDcN"; dkim-atps=neutral Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 473tzr3y8Tz9s4Y for ; Fri, 1 Nov 2019 05:25:44 +1100 (AEDT) DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:from:to:subject:date:message-id:in-reply-to :references; q=dns; s=default; b=vLPhQfoQkmml0SgZF+bgaREuylCv3v6 4fX5OHKusi+b61Sz6otjmvxLzSPTGYBlOrNaXiZ3js/xbYukOp0oOrDB9SVggX3y eRG6QuJxcG85RF8L3ZE38sGTofkY2qLjPCPfnzhVoTu/oyifz8eCG275UP0lwvBI M3PBxKW6G8rE= 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:from:to:subject:date:message-id:in-reply-to :references; s=default; bh=hWclRAODTTa21xij7AGWQriNqeo=; b=Q+BJG xw7Sm+4e1lMEYpLtWDSlgT63umcmoAfbEO1NfQq8qF6J45qFdJvpFee4Rbod4VL/ o2PU+rT8iVhlZyLKWAeWieTRNf77BxcYfymLgAlgbHEW6IY+uaqj2dfPyCVjf6el l/iAXYNBXtML0EEiUAUTDZND0M6EuPn88BVXPU= Received: (qmail 25326 invoked by alias); 31 Oct 2019 18:25:37 -0000 Mailing-List: contact libc-alpha-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: libc-alpha-owner@sourceware.org Delivered-To: mailing list libc-alpha@sourceware.org Received: (qmail 25229 invoked by uid 89); 31 Oct 2019 18:25:36 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-21.6 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RCVD_IN_DNSWL_NONE, SPF_PASS autolearn=ham version=3.3.1 spammy= X-HELO: mail-qk1-f196.google.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:subject:date:message-id:in-reply-to:references; bh=Y618HyA1TnzAMy8wXzGF4AhHa/5YE8D8PP91XLm5plM=; b=PzOpfDcNoGhX46MdZptSNCu+AHMXGpB9FPe34yX5pXud4C0DXJ7C2EL5yoXgKioWhu 7vbw8ERNWpjSpVl8q6DyaCP9Iy1puzTU//bKbOMyBDivRfdCmIR72himXHEJIxsKQaXM 9VutDq8epVKKJrBwvdlO0/MNTq4CiCUjinXg/RJIrQSVEu4YuNcviMJW0+EAeABm1/iO lFzkqXYTD3yPkkdoMegGxnN11AVbw1Kc1NBkmqbwUldIGoBzPL587CII1jXlFaggfPUP 5XkloOdcL9H7Ajb0EdoooPttfklNkanMY17zMH3sSL04Xm91v2tRvZdP1FR4mpvSQIt/ 2WlQ== From: Adhemerval Zanella To: libc-alpha@sourceware.org Subject: [PATCH 2/2] Sync timespec-{add,sub} with gnulib Date: Thu, 31 Oct 2019 15:25:27 -0300 Message-Id: <20191031182527.26933-2-adhemerval.zanella@linaro.org> In-Reply-To: <20191031182527.26933-1-adhemerval.zanella@linaro.org> References: <20191031182527.26933-1-adhemerval.zanella@linaro.org> It sync with gnulib commit 06011ed74e978613422aca43c0bd92dc44213933. --- support/timespec-add.c | 20 +++++++------------- support/timespec-sub.c | 20 +++++++------------- 2 files changed, 14 insertions(+), 26 deletions(-) diff --git a/support/timespec-add.c b/support/timespec-add.c index ea9791dc9f..8efb8a6eb6 100644 --- a/support/timespec-add.c +++ b/support/timespec-add.c @@ -33,36 +33,30 @@ timespec_add (struct timespec a, struct timespec b) int ns = a.tv_nsec + b.tv_nsec; int nsd = ns - TIMESPEC_HZ; int rns = ns; - time_t tmin = TYPE_MINIMUM (time_t); - time_t tmax = TYPE_MAXIMUM (time_t); if (0 <= nsd) { rns = nsd; - if (bs < tmax) - bs++; + time_t bs1; + if (!INT_ADD_WRAPV (bs, 1, &bs1)) + bs = bs1; else if (rs < 0) rs++; else goto high_overflow; } - /* INT_ADD_WRAPV is not appropriate since time_t might be unsigned. - In theory time_t might be narrower than int, so plain - INT_ADD_OVERFLOW does not suffice. */ - if (! INT_ADD_OVERFLOW (rs, bs) && tmin <= rs + bs && rs + bs <= tmax) - rs += bs; - else + if (INT_ADD_WRAPV (rs, bs, &rs)) { - if (rs < 0) + if (bs < 0) { - rs = tmin; + rs = TYPE_MINIMUM (time_t); rns = 0; } else { high_overflow: - rs = tmax; + rs = TYPE_MAXIMUM (time_t); rns = TIMESPEC_HZ - 1; } } diff --git a/support/timespec-sub.c b/support/timespec-sub.c index 0fe6517109..cf16ed7832 100644 --- a/support/timespec-sub.c +++ b/support/timespec-sub.c @@ -33,36 +33,30 @@ timespec_sub (struct timespec a, struct timespec b) time_t bs = b.tv_sec; int ns = a.tv_nsec - b.tv_nsec; int rns = ns; - time_t tmin = TYPE_MINIMUM (time_t); - time_t tmax = TYPE_MAXIMUM (time_t); if (ns < 0) { rns = ns + TIMESPEC_HZ; - if (bs < tmax) - bs++; + time_t bs1; + if (!INT_ADD_WRAPV (bs, 1, &bs1)) + bs = bs1; else if (- TYPE_SIGNED (time_t) < rs) rs--; else goto low_overflow; } - /* INT_SUBTRACT_WRAPV is not appropriate since time_t might be unsigned. - In theory time_t might be narrower than int, so plain - INT_SUBTRACT_OVERFLOW does not suffice. */ - if (! INT_SUBTRACT_OVERFLOW (rs, bs) && tmin <= rs - bs && rs - bs <= tmax) - rs -= bs; - else + if (INT_SUBTRACT_WRAPV (rs, bs, &rs)) { - if (rs < 0) + if (0 < bs) { low_overflow: - rs = tmin; + rs = TYPE_MINIMUM (time_t); rns = 0; } else { - rs = tmax; + rs = TYPE_MAXIMUM (time_t); rns = TIMESPEC_HZ - 1; } }