From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wr1-f52.google.com (mail-wr1-f52.google.com [209.85.221.52]) (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 DE10A3B05A3 for ; Tue, 1 Sep 2026 13:48:51 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.52 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788270533; cv=none; b=bmp79XRXq4hutJStYJl8XhYxpBLRoRJno0mnJk8+K81Tj4kXbkXZzbH5RvaVaA5avG95p9NouWluMyV5/UadP2+yXkbMWm+kKmtcm4Jvp7Ru86XEqwMJuB/czxi11n8aqAO3W3WLhfnRx/0nntIS7krjGtTyam+ZVk5Nqjedrag= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788270533; c=relaxed/simple; bh=FhGox9gXqmh4I7C5JglwAnrOhoH6H+CLn2mkAQ+mXqM=; h=Message-ID:Date:MIME-Version:Subject:To:Cc:References:From: In-Reply-To:Content-Type; b=M/cTu5VDuwn2xio9MArozHu2pbSH5+rx1fRzhxCi+7bpgQ4uK+aKvss/4l31FFke6tG0rnlB9s26OXgTwuXjcRzGEOn3Tf51OSrx0hd+9HQ0HalwUFhrkZKr/n2MLSUUU/X1yBXmxzUp/L+YKAaKY4tmN76yn0bKE322TK1Xj7M= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=pRwRh/z7; arc=none smtp.client-ip=209.85.221.52 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="pRwRh/z7" Received: by mail-wr1-f52.google.com with SMTP id ffacd0b85a97d-4843f205a5bso1181693f8f.1 for ; Tue, 01 Sep 2026 06:48:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1788270530; x=1788875330; darn=vger.kernel.org; h=content-transfer-encoding:content-type:in-reply-to:from :content-language:references:cc:to:subject:user-agent:mime-version :date:message-id:sender:from:to:cc:subject:date:message-id:reply-to :content-type; bh=yTQx2GsPa85XjvX9iVGk5mcgWwxcHbSTKInQpmNkpgQ=; b=pRwRh/z7/Owf/eTBs5AAF7tg3JvZzLsXaYx30TPMVj2/cc0vOdd4KzMs1cTiuIpgrh 7fO8ZScGwGw2vzFvXiRga6sPAnRiDQP0GfcnjgluYzQ1uuY0LXUqMpnJq0uVycECql2Z +QgLWvNqT7bGFFRp87aNuB4JphLK0h2+brfqEFbQWmGLBD4Bu1WQv/9tGkBRHa8Es+0U xrYYqSuAB7LJ66DAS3omSCfk8lBczdLPSxNsdQ3EAN16HgpdKA+X6hHMhrPMXy82nAJ5 7Jkc57FvutklxQ4kbq19B0JBmTHxvqkECIJZ8JOOzM51SNQfx7oKF7s1SkDTgmebcIBT hZyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1788270530; x=1788875330; h=content-transfer-encoding:content-type:in-reply-to:from :content-language:references:cc:to:subject:user-agent:mime-version :date:message-id:sender:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to:content-type; bh=yTQx2GsPa85XjvX9iVGk5mcgWwxcHbSTKInQpmNkpgQ=; b=dbPuMVnqiMdfPNhxUEJBAJCQRbzM3NpDqexYlD8+2NNySx1OOug4O6G9zb3mMKnj3V DeOc9lRNeGydJl+Q9q1enrU+r4pp3zwLXgYUhAQ142v7U98Myp5Y7hHhr9c1VRMVfTgt mYO1kNZDCqmWV2UDXdGmKq8qpDVTbC9Cmsrk6bH7Ox7GkE33JLKk1bECO2/5wwAJTDY+ YJQtmQa5r0yIdInvqNIplISr2pzL9ozDuhpqFjWGyY8Nu1Fsiv6RThYWsjibNMiU204B aKBinUPcqIZ6IFCXGthBNcnlkkgj/ibJiSocVrrKSFNTMbJWcXSemptiBVt4c2PllK8I l5gA== X-Forwarded-Encrypted: i=1; AKwUvBx5cur9hoPRlIGDTZe4tMNgjMuZd5G301X3UqIcGotPqiB3y+bcKqGVDBt3tJPbiEUIkj273tw6msT8ZCE=@vger.kernel.org X-Gm-Message-State: AFuF++kCktpHs96SDccJwy0jG6+L9pd/Ohm2YZ/sVww0WVvn6Y23lgaZ dV30qZdRn+Ol4WkHsn4W/yY5l0DYr9XmnsGjJegvs5/QtUg0yD13jzy6 X-Gm-Gg: AYBFou3jpXTfiTTZktW3XIZMiROOSW7n2CognHcJEBZgsNPhHEQilmN1G0pqHpPpFux 5ArT56NXYKNPA7V2Td0QnEoaXh0QRjQizCqxIpzuMOpLkZ+PDKxHlOs9/1NfyaAD4hXuB5lB7r2 7r3S2Da917jk87rFa+sEdCnN/lKJAA1jquAUYPUve7HT3E38hx9wIQCv464DpLtYk109lwicU5C Af0FeWSq82Rh2+aVSATUfEUXoo/fVekwCL13If+/Mfxx3oeQRGh21M6hVSTHyE4J+tqI/qdmG2B 7bmmRqbChY9sQY1wvbnM/c5TjOHzKNiuYGRa3Ab3WFC+q7O5HLlNzJwU7q2FSfL3Kj5ljptgedQ YonlkwLT5nTWK9lszRpZMuPmiV8rUJ9Fr6fwOOStRgZtbpSD4mqJW8cZK6sSVleELyiRD8dZcWj tq3AJVFv/aBrlt+b/5HaQ8c4si59r2xVAZ0lyM1yiYIjXj/VBRixTWEri3V0wN9BEKn989RwpeP L66oJ1bhQslHGuXa3Ft8Zjb7I4jr6atQ0tmOonC6U9I7HmOKU8zWUKW X-Received: by 2002:a05:6000:4010:b0:482:f528:be4 with SMTP id ffacd0b85a97d-482f79bab3cmr50727081f8f.16.1788270529641; Tue, 01 Sep 2026 06:48:49 -0700 (PDT) Received: from [10.128.10.232] (195-23-151-163.net.novis.pt. [195.23.151.163]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-48442d3b4f1sm4512147f8f.9.2026.09.01.06.48.48 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 01 Sep 2026 06:48:49 -0700 (PDT) Sender: Julian Braha Message-ID: <0c445767-a4fa-4c44-b81a-64863be3de2d@gmail.com> Date: Tue, 1 Sep 2026 14:48:47 +0100 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH] kconfig: fix extra output from savedefconfig on out-of-range defaults To: Geert Uytterhoeven Cc: nathan@kernel.org, nsc@kernel.org, xiang@kernel.org, chao@kernel.org, zbestahu@gmail.com, jefflexu@linux.alibaba.com, dhavale@google.com, hongbohbli@tencent.com, guochunhai@vivo.com, michael.bommarito@gmail.com, kees@kernel.org, vegard.nossum@oracle.com, sam@ravnborg.org, u.kleine-koenig@pengutronix.de, mmarek@suse.cz, linux-kernel@vger.kernel.org, linux-kbuild@vger.kernel.org, "open list:SERIAL DRIVERS" , Arnd Bergmann , "Christophe Leroy (CS GROUP)" , mpe@ellerman.id.au References: <20260830221129.2668354-1-julianbraha@gmail.com> Content-Language: en-US From: Julian Braha In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit CC: Arnd, Christophe On 9/1/26 11:17, Geert Uytterhoeven wrote: > FTR, this will impact all defconfigs that restrict SERIAL_8250_NR_UARTS > to a value lower than 4: > > config SERIAL_8250_NR_UARTS > int "Maximum number of 8250/16550 serial ports" > depends on SERIAL_8250 > default "4" > > config SERIAL_8250_RUNTIME_UARTS > int "Number of 8250/16550 serial ports to register at runtime" > depends on SERIAL_8250 > range 0 SERIAL_8250_NR_UARTS > default "4" I suspected that there could be some cases where these out-of-range defaults were actually accidents and causing bugs, so I added a check with my SMT solver [1], which also detected these two (powerpc-only): config DATA_SHIFT int "Data shift" if DATA_SHIFT_BOOL default 24 if STRICT_KERNEL_RWX && PPC64 range 17 28 if (STRICT_KERNEL_RWX || DEBUG_PAGEALLOC || KFENCE) && PPC_BOOK3S_32 range 14 23 if (STRICT_KERNEL_RWX || DEBUG_PAGEALLOC || KFENCE) && PPC_8xx range 20 24 if (STRICT_KERNEL_RWX || DEBUG_PAGEALLOC || KFENCE) && PPC_85xx default 22 if STRICT_KERNEL_RWX && PPC_BOOK3S_32 default 18 if (DEBUG_PAGEALLOC || KFENCE) && PPC_BOOK3S_32 default 23 if (STRICT_KERNEL_RWX || DEBUG_PAGEALLOC || KFENCE) && PPC_8xx && \ (PIN_TLB_DATA || PIN_TLB_TEXT) default 19 if (STRICT_KERNEL_RWX || DEBUG_PAGEALLOC || KFENCE) && PPC_8xx default 24 if STRICT_KERNEL_RWX && PPC_85xx default PAGE_SHIFT config MODULES_SIZE int "Size of modules/execmem area (In Mbytes)" if MODULES_SIZE_BOOL range 1 256 if EXECMEM default 64 if EXECMEM && PPC_BOOK3S_32 default 32 if EXECMEM && PPC_8xx default 0 The DATA_SHIFT case may be bug, where it should be 12, but incorrectly adjusts to 20 when: PPC_85xx=y DEBUG_PAGEALLOC=y STRICT_KERNEL_RWX=n PAGE_SHIFT=12 The MODULES_SIZE case seems harmless since the only systems using that option are PPC_BOOK3S_32 and PPC_8xx. Anyway, this change to savedefconfig would also affect those 2. [1] https://github.com/julianbraha/kconfirm/tree/smt - Julian Braha