From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pl1-f175.google.com (mail-pl1-f175.google.com [209.85.214.175]) (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 03069188596 for ; Wed, 24 Jun 2026 03:34:25 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.214.175 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1782272067; cv=none; b=FLxJNZVrgEa9Jx4etiN813mdmr8Mu/Im8NPwvQ0A/yII6I0kySYO3xfU68sOgg7qR3pM9aLqinwGsuVqJ7ZtdlC7fFgtlhJQmNNXgLn7GUFa/DotPd8E1rKU3sTNIwJIKp3LhP1B0ht2QavQAWvU88KgXBNXOqvNErCZ4A6A/jc= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1782272067; c=relaxed/simple; bh=OkM/HJ/yvg7XNaPXMhtxxI6wQvvBZYRO/vN8NU9BkBo=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=EDkv1jMc23SpuB5wiMM7MLfM64CPb8Huh1cd4gIQiDEtzF0suQPx5RvtxaF/QASspjKRqFAvGj7oawXnGz53tSxqw62kvnDO+pZD1TuIlB7v3CHfI5L1VgHkpo0jvu6FD4pWq6Pf3JnEkYqvDt0//WnYFW1l+QQcluWS3Z+Edi4= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=chromium.org; spf=pass smtp.mailfrom=chromium.org; dkim=pass (1024-bit key) header.d=chromium.org header.i=@chromium.org header.b=mcqcufXG; arc=none smtp.client-ip=209.85.214.175 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=chromium.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=chromium.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=chromium.org header.i=@chromium.org header.b="mcqcufXG" Received: by mail-pl1-f175.google.com with SMTP id d9443c01a7336-2c6bdb8a8bdso2546955ad.1 for ; Tue, 23 Jun 2026 20:34:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=chromium.org; s=google; t=1782272065; x=1782876865; 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=eAkIXBRDyBd0kWrdYtz/1kib51xAPhB7FzTxrU5LimQ=; b=mcqcufXGPV1aySUa/Lkes/uYU8nF63/k7SxO2eLkkjhmydoGlXUEHBMUI2GBvQ5Lox 1am7eWygFeAJDU7OtDFaFjGWwDSbeYh++5Z3maN3bgEf8nHGxdr92FlI+L0sOstsnW+Z 98RtEBYSQK08k5/5vUktZdGtDRpGJrsHmDuqw= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1782272065; x=1782876865; 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=eAkIXBRDyBd0kWrdYtz/1kib51xAPhB7FzTxrU5LimQ=; b=d08j+HH2phcoXB1Je+u836gWrX6DUpeo7Xfa0sHs+xzVcwSvbUijc4+aN6oGZyxw1h ugw/xr3wbFd/zRCtVAsHK6Oruq1mjcueNU6FXQGXKy4SA7MeXYVTKWAzyz+mpEzoS/P2 46nqQRlOKpQEtrImqCCDzqLCDWpreYXIiwrr1QBiJ6h4ECNqy99WEJzjguievV3deyZy Sera0+lDLfKF/VNLmnzZB55F3y7FyqdVfk6MJCyxJe0o3R5McMNHCQrH7z+KghHv+diy rIWIr1hLvd9dq3+Cnqz1HbHItK3V5PJAgu5lMR3fBan4aP62Cg6KzYop3ljX/3uJ1rK1 591g== X-Forwarded-Encrypted: i=1; AHgh+RqfdCSjXI4ENr/ukOrTNU5fepILSd+pZt0mE4F7uECSLL8icPIYWxaSLmLLvmO1sVapHROU2bGLySrsyCI=@vger.kernel.org X-Gm-Message-State: AOJu0YzYH4iN4sCfl6+tXnZFJsyJtNrtubg0fReDyJKBIK9seIiStp8B 7Qs9PjuqJNWUDK1mItkHvV4/5yGeRfiiZ4qMtSN/+Z0MdPGJZToSX+0/Q2H4auree8trA57Djoa 0NDI= X-Gm-Gg: AfdE7clGR1zFYwt7FJhrN28XWfzS0ctypXPZBCzolShTJYr296DVdMfwdbUFESIPy54 ByZz6G7RtCqTcD4SVQLBCvxmBrBBavQOafQNW8BJ8m7i/EqhajKLZQUwYmz1uLlBUDUrKG9dM31 N9DhlvEZmJLZ8gY3+EMm0KKOyYha6esqbgzg72NfzNxSjzADI0FgMV+KHbkSfOM1wlapXC4b53/ eOZDuklsObpvKsrtm2r3cw0KhsvgvQM1RilTt3YnXmKUoB7ZdBigNGqrCGiCMp/7Y83VGimpMa8 kMqGAXNbBmNXD6xkdpCFlZCU0AiFKSA9JMxwNAkXRN68HuZgFSvkmpA6QrtMULsilNzgkcrbNQq J3JTRDxQhO8odK0REeGDqWG4bzbs69777l2+QExYKCRnEL6c0E8saf0enX1WQSgkqXlnIUi+uWX h0N+tUcAppZFyYE2+9mNXVbb+jSM8inuE5OuupvO5E/WhKYJ4j6nFl X-Received: by 2002:a17:902:e84d:b0:2c6:8d95:fd6d with SMTP id d9443c01a7336-2c7c7693e0bmr65176875ad.21.1782272065356; Tue, 23 Jun 2026 20:34:25 -0700 (PDT) Received: from google.com ([2a00:79e0:2031:6:1287:5d13:b2d6:c6ab]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-2c7436af6cesm132002055ad.1.2026.06.23.20.34.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 23 Jun 2026 20:34:24 -0700 (PDT) Date: Wed, 24 Jun 2026 12:34:21 +0900 From: Sergey Senozhatsky To: Andrew Jones Cc: andriy.shevchenko@linux.intel.com, julianbraha@gmail.com, linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org, nathan@kernel.org, nsc@kernel.org, rdunlap@infradead.org, tfiga@chromium.org, senozhatsky@chromium.org Subject: Re: [PATCH v4] kconfig: add kconfig-sym-check static checker Message-ID: References: Precedence: bulk X-Mailing-List: linux-kernel@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: On (26/06/24 12:27), Sergey Senozhatsky wrote: > % echo "CONFIG_DISABLE_BUGS=y" >> .config > > - Now run make (KCONFIG_WARN_UNKNOWN_SYMBOLS/KCONFIG_WERROR are env > variables) > > % KCONFIG_WARN_UNKNOWN_SYMBOLS=1 KCONFIG_WERROR=1 make oldconfig > > .config:4693:warning: unknown symbol: DISABLE_BUGS > make[2]: *** [scripts/kconfig/Makefile:85: oldconfig] Error 1 > make[1]: *** [/media/dev/linux/Makefile:760: oldconfig] Error 2 > make: *** [Makefile:248: __sub-make] Error 2 > > And make fails. > > kconfig reads the symbols for (pretty much?) all the targets, it > needs to make sure that nothing is missing (SAT), that there are > no conflicts and so on. Detecting unrecognized .config symbols > on the kconfig level is a low hanging fruit, in this regard. OK, maybe they are not similar, as Julian pointed out. Makes we wonder is there any benefit in moving this functionality into kconfig (which is the tool that deals with Kconfig files).