From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wm1-f54.google.com (mail-wm1-f54.google.com [209.85.128.54]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 41FCC26ED40 for ; Fri, 19 Dec 2025 07:08:21 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.128.54 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1766128103; cv=none; b=cikX30XLhZwM3ePGWz1rcjtSBl8r3UZH1V3PaiPK4B5coxT9V88dektz2OOYeYY9dYqC5EiN11oD9x7+LGthjaGwUkT0ibpsEYixHbZA7Iek/v7yyKqQSjLnv88JjxO4Mkv5+ab1g7zxJQnUf2VEDDk28cSv90bZ/f14v7z6fwY= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1766128103; c=relaxed/simple; bh=chHA3d/r7DdTP2+uwfGEKmhVONsNEHk52FbSC3FS8p0=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=I2HKrWjt8AVu9JmOn1sziYCJXNtr39GGN/InZXpFpYDDPH5fIzKw7+ByXn/eOregs04PrsvMppLwWG52UJ8WhpQqT0SVLx1gzUcEdStN59EGBuCVg1QEH/PeCz6SYJwZj8ST3FMYDCFmw9k17CXKa/QCROSH+iTvYd5b0m4knX4= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linaro.org; spf=pass smtp.mailfrom=linaro.org; dkim=pass (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b=zOsIxQbN; arc=none smtp.client-ip=209.85.128.54 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linaro.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b="zOsIxQbN" Received: by mail-wm1-f54.google.com with SMTP id 5b1f17b1804b1-4775895d69cso5598335e9.0 for ; Thu, 18 Dec 2025 23:08:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1766128099; x=1766732899; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=NAJFCYxG6tBk/5BjvMlMhhFWKmM1Im0nbCMAsTTFzMc=; b=zOsIxQbNWbyo2BDTEHAYEqmGQOGxHNG2ddYAmFoAsdej4tI1cRCwo8MO2edeNIwC3t ssqiCryE+KHhp1+7RNnfJCadukVq+xY0EIOqWnbl/G6y/YpalSoA14OXWS5S57Pi44fv blEDXwNfBTmoEaMhiGbwqzUWq42tY1rTno7pClEyC08QtOyiejFYdneyV+wh6smHyiVm 1n8bFkw0YAj0sCx32pDBnRRZod5EEid7MxYdgMj7PgcRw+Bkm2xu75JLiYAecljV9iW3 9RSaV/UPGw0mCn6dDv9wKCyci9DMXRq89OUlHlZ7xt8G+56NmBwOhnABAevYz9LzDfNE 99RQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1766128099; x=1766732899; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=NAJFCYxG6tBk/5BjvMlMhhFWKmM1Im0nbCMAsTTFzMc=; b=CvULMa11t10kuyWBQMlSwjP8r7rNHCTiZwah04cbMner1FJBxxqnIcIMz1YN4r6tmY TEWFMHDsUQ5R1029qKjQpeeJqw99H9U3GkzIWJOJ8MZLfa1goluPPK3sHe7Hik/+9lM8 kwSLFvfVAAq2oi6HZ/aPzA+7jS0jTQo0if1T4N2QgBpHEAMo/BAe77ggrl2KcOGdo3sN I3VmP11sgzcUYQxqILcRODiST0jQWx8LkCg4Yo8UgoZvWyCTamRWrTxA4PuRbwvhPHMR nuw75umjo9c3qTavpVvep1H2O4aB7ya/hCLkz4p85326JdXdsRgsx6IQ850TJzzdzAmR bbnQ== X-Forwarded-Encrypted: i=1; AJvYcCWkohszpl6SfOZZH6mdBSt6k1CCovppZ0Xcc2ZwNKgj8s7Oqti8iy8jzQAVches7ZjoX74Rda/bwnbzpQ==@vger.kernel.org X-Gm-Message-State: AOJu0YzFfhYptPLS0m9T0bbMBGbIDZ6nkc4/UFVvDeSpWxTJShJcCf5U NjS3FI4SxAQVDib/W7SpN8DBBiOdHSaKk1KWSXtPkeP3Vhyh0wnmQmbULwSVb8kG998= X-Gm-Gg: AY/fxX4/pjdxDOIFmJuYWs6u/suRo9CrUOeij0lHqJgF/r+A1B4N+G/bUko81Rbzegn 5GOubBeCffqRxwLTjV2Pe25fPP1ntFz0k01PbhEIyMT/WjOr3AwaK02sSyxeP0Qhk9yLxjh81b9 oDEWTpCm9MQfncPUqEsdw24pxDk6yxr32/P6eFM/cLG3AN3bi4jFQzvjTpPV2D3ZDIWrl9Qd4iT XrkBaSWd8EsY7/plQMMvssnv3fAr6NE47an3PHFATGdOFAhCjLoQnmron/zOxmXHmZsGdQhhwvU E7UIDBwpFnYesAa8MSoSv2Qze5+MBjXBdySK7qmKvShMkY34HV2jSfI2ktXarwNyvEcUttYiRRV P2tmypxx7mk6Ybtxs/u+GoIBqL0902zHvX+IGiSmUNhyAK7kpKVGRBQ5QlBXFXyxij8VazpcVy5 IUPSHjRNaJcZ3o2SwK X-Google-Smtp-Source: AGHT+IE7nLrq263HAsObO9ho2ijSSwzHrCJiIV0bJrGj7M+qZEd9hC4pZGfJYlq78GqHGGWD40y0tA== X-Received: by 2002:a05:600c:5251:b0:477:8a29:582c with SMTP id 5b1f17b1804b1-47d195a425bmr13555325e9.34.1766128099504; Thu, 18 Dec 2025 23:08:19 -0800 (PST) Received: from localhost ([196.207.164.177]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-47be27b749esm81591275e9.14.2025.12.18.23.08.18 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 18 Dec 2025 23:08:19 -0800 (PST) Date: Fri, 19 Dec 2025 10:08:16 +0300 From: Dan Carpenter To: David Laight Cc: Linus Torvalds , Vincent Mailhol , Nathan Chancellor , Nicolas Schier , Nick Desaulniers , Bill Wendling , Justin Stitt , Maarten Lankhorst , Maxime Ripard , Thomas Zimmermann , David Airlie , Simona Vetter , Chris Mason , David Sterba , linux-kbuild@vger.kernel.org, linux-sparse@vger.kernel.org, linux-kernel@vger.kernel.org, llvm@lists.linux.dev, dri-devel@lists.freedesktop.org, linux-btrfs@vger.kernel.org Subject: Re: [PATCH 0/2] kbuild: remove gcc's -Wtype-limits Message-ID: References: <20251218-remove_wtype-limits-v1-0-735417536787@kernel.org> <20251218202644.0bd24aa8@pumpkin> <20251218220651.5cdde06f@pumpkin> Precedence: bulk X-Mailing-List: linux-btrfs@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20251218220651.5cdde06f@pumpkin> On Thu, Dec 18, 2025 at 10:06:51PM +0000, David Laight wrote: > On Fri, 19 Dec 2025 08:34:05 +1200 > Linus Torvalds wrote: > > > On Fri, 19 Dec 2025 at 08:26, David Laight wrote: > > > > > > One possibility is to conditionally add _Pragma() > > > > No. That compiler warning is pure and utter garbage. I have pointed it > > out fopr *years*, and compiler people don't get it. > > > > So that warning just needs to die. It's shit. It's wrong. > > True - especially for code like: > if (x < 0 || x > limit) > return ... > where the code is correct even with 'accidental' conversion of a > negative signed value to a large unsigned one. > > clang seems to have a dozen similar warnings, all of which are a PITA > for kernel code - like rejecting !(4 << 16). In this example is 4 a literal or do we at least know that 4 is non-zero? I really thought I had a check for that in Smatch but I guess I don't... regards, dan carpenter