Received: by 2002:ac0:aed5:0:0:0:0:0 with SMTP id t21csp5714003imb; Fri, 8 Mar 2019 00:11:53 -0800 (PST) X-Google-Smtp-Source: APXvYqycUEC0P87Sx0kDQNLF0WhdoEXwsRch8ZpXPZNpnPiaMvIATxMrDMAB3zqu13qlRgXySBAq X-Received: by 2002:a63:d507:: with SMTP id c7mr14999070pgg.105.1552032713365; Fri, 08 Mar 2019 00:11:53 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1552032713; cv=none; d=google.com; s=arc-20160816; b=VDdXrX9TlC0v79eUR8F7lf1hUrnmDpcz+DakzGhUOdGYNiQ9la1u8rRZOlLMkI0Uso Y6LxNV/6Qf08ZxVg+wLqbRRJuEYWX6JkyDQDtOsQkBtqNgXBiR0mkLFkJT0i6lXt6GmZ DIo4QKFOCujt1/zGkEH5Hi0QGTVmJ6DUh+PDhu09UF6MHrikykO00cmgeKnM/vcmShe/ 7P+nAk/iYKsKjXLxqrD3SSR2dX1q7xUWtRYQhvzyzePUWlaxGZI0cK4/zHyTPl5kVEaY BAPmSGm9d1H1VOcZXpPNhV+jJtYlig82RO8Ug8WFGYh4FjkDU/tWi3FDCN9n9eWF8L3J dKMw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding :content-language:in-reply-to:mime-version:user-agent:date :message-id:from:references:cc:to:subject:dkim-signature; bh=21BnupwjGOgiGMIqfEGd612ooJtzT8k2WiSUSipiwKM=; b=hR3IEHhnWpCWcRoS+xLpg55yulIZIR1eYwmV4q5FWi/N5FakFVDjpaYjjOVJmK7YQJ /ACEu55wkk0Cxel0LD6O3TXIpULUA6XJ9XaoALl7m6KxHYs52KgBwdpy2zm5fPap3HJD 1NXtomzutgNr1dpngGjlZnvYoXCXgGGFeeSWUuucULsSEp3rCyIQJsIdUfrtB4dysizH yxVS8yd4isd2xEmHClX5kqZCG8nljhQ71XWmyNCR6pkxlcTQVo1ENAxYXJvXO7/MnAgN TuSyfykG8y9+BblzQKOU9FBkLSUWM9fwKREo8Z4iNlMiQzUkBhD/Zz8d6weFa0BFDvqs bojQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@rasmusvillemoes.dk header.s=google header.b=LdBIna6n; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id q11si5860496pgv.337.2019.03.08.00.11.36; Fri, 08 Mar 2019 00:11:53 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@rasmusvillemoes.dk header.s=google header.b=LdBIna6n; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726342AbfCHIJv (ORCPT + 99 others); Fri, 8 Mar 2019 03:09:51 -0500 Received: from mail-lf1-f68.google.com ([209.85.167.68]:38852 "EHLO mail-lf1-f68.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726285AbfCHIJu (ORCPT ); Fri, 8 Mar 2019 03:09:50 -0500 Received: by mail-lf1-f68.google.com with SMTP id k136so3372204lfg.5 for ; Fri, 08 Mar 2019 00:09:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rasmusvillemoes.dk; s=google; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=21BnupwjGOgiGMIqfEGd612ooJtzT8k2WiSUSipiwKM=; b=LdBIna6n0ApBohJbms063FPVpZhBGU14sagruJHY9mDaT0BO1COp6hjG8CfiyMOH5X zkmrzp8prSukv09UGerujPNoV0gpFkiaYpqWlMu28XXZ/OY4ynO2XaA1+dpZpgJqjbfn VhlLVPcNJqoBsyngK1dCSeKeSa/oHAIxjBWVs= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=21BnupwjGOgiGMIqfEGd612ooJtzT8k2WiSUSipiwKM=; b=pJUD23H+XfYTHS6P4HGVzofyIE4OvjT2bc/3uRct0pV0lZjJCEcSE8hbHqe5YyeEGT lii2cWxQdvJTry7cFpPs/g60Hn8o665AZ4C2b7IDbfVZ7QfRy28jSduqvXWl4rVWZR2W /0j7Emg5ofjEUswC4L1qE8lEl7rTCjcA1Z0rFzcQS7b5oJoGbWQbi6C3HGqZK3ky/hYY 0wiDded9/2CBSGN3Nz0WwmXYDhYzF/W1d8milMUSe6hhGERJ2iBK/uRH6akhwiagZzz9 V/dWNVz9/1w/sXASviGm/qSGuor+bDUCC59sYTgo88Qj8ziue0Sj8kzbqaLArv27tA1T rRJw== X-Gm-Message-State: APjAAAWYfVGNDmoMy+ACoC78nu1JrQIcibEQJe3tI79GyPd2NR8thnoD EY1wu79gFExi6X0ksZvTUyFqlA== X-Received: by 2002:ac2:4310:: with SMTP id l16mr8126268lfh.58.1552032588406; Fri, 08 Mar 2019 00:09:48 -0800 (PST) Received: from [172.16.11.26] ([81.216.59.226]) by smtp.gmail.com with ESMTPSA id n25sm1349197lfe.70.2019.03.08.00.09.47 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 08 Mar 2019 00:09:47 -0800 (PST) Subject: Re: [PATCH] Avoid that check_shl_overflow() triggers a compiler warning when building with W=1 To: Leon Romanovsky , Bart Van Assche Cc: Jason Gunthorpe , Kees Cook , "linux-kernel@vger.kernel.org" , "linux-rdma@vger.kernel.org" References: <20190307010153.81157-1-bvanassche@acm.org> <20190307012417.GU1758@mellanox.com> <8a5bd9ae-ebfe-687c-2868-d0f2a610d1e0@acm.org> <2c122567-d14b-7867-9230-67f570c13d15@rasmusvillemoes.dk> <1552003703.45180.17.camel@acm.org> <20190308070107.GE32625@mtr-leonro.mtl.com> From: Rasmus Villemoes Message-ID: Date: Fri, 8 Mar 2019 09:09:46 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 MIME-Version: 1.0 In-Reply-To: <20190308070107.GE32625@mtr-leonro.mtl.com> Content-Type: text/plain; charset=windows-1252 Content-Language: en-US Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 08/03/2019 08.01, Leon Romanovsky wrote: > > Mathematical therm for discrete numbers greater or equal to zero is > "normal numbers". Sorry, WHAT? "Normal" is used and abused for a lot of things in mathematics, but I have never heard it used that way. When attached to the word "number", it means a real number with certain properties related to its digit expansion(s). And then of course there's the isnormal() thing for floating point values in C/computing. Strong NAK to using is_normal/is_negative. Rasmus