Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1759262AbXETUNl (ORCPT ); Sun, 20 May 2007 16:13:41 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1755962AbXETUNe (ORCPT ); Sun, 20 May 2007 16:13:34 -0400 Received: from einhorn.in-berlin.de ([192.109.42.8]:43992 "EHLO einhorn.in-berlin.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1755929AbXETUNe (ORCPT ); Sun, 20 May 2007 16:13:34 -0400 X-Envelope-From: stefanr@s5r6.in-berlin.de Message-ID: <4650AB9B.9060800@s5r6.in-berlin.de> Date: Sun, 20 May 2007 22:12:11 +0200 From: Stefan Richter User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.2) Gecko/20070408 SeaMonkey/1.1.1 MIME-Version: 1.0 To: Trent Piepho CC: Satyam Sharma , Adrian Bunk , Andrew Morton , Sam Ravnborg , LKML , Roman Zippel , Kumar Gala , Simon Horman Subject: Re: RFC: kconfig select warnings bogus? References: <20070519151523.GA26724@uranus.ravnborg.org> <20070519230940.GJ6291@stusta.de> <465029F1.6090301@s5r6.in-berlin.de> <465034AA.6030904@s5r6.in-berlin.de> In-Reply-To: X-Enigmail-Version: 0.94.1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1283 Lines: 38 Trent Piepho wrote: > config A > bool "A" > > config B > bool "B" > depends on A > > config C > bool "C" > select B > > In this case, it's possible to turn C on and A off. B will be on, even > though it depends on A and A is off. > > The kconfig docs say that "B.. depends on A" sets the maximum value of B > to be that of A. Since A=0, the max value of B is 0. > > The kconfig docs also say that "C.. select B" sets the minimum value of B > to be that of C. Since C=2, the minimum value of B is 2. > > So we have B>=2 and B<=0, which is obviously impossible. Yet *config has > no problem with this, and will set B=2 even the 'depends' means B must be > 0. It seems like "select" will override any other dependencies. If that's so, then we have /a/ an incomplete definition of the Kconfig language (what is supposed to happen if "select" attempts to set an impossible value?) and /b/ a bug in the make xyzconfig programs (they generate invalid configs). -- Stefan Richter -=====-=-=== -=-= =-=-- http://arcgraph.de/sr/ - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/