Re: [PATCH 0/5] Removing dead code

From: Reinhard Tartler
Date: Fri Jun 11 2010 - 03:34:55 EST

Joe Perches <joe@xxxxxxxxxxx> writes:

> (cc's trimmed and rpjday added)
> On Wed, 2010-06-09 at 11:58 +0200, Christoph Egger wrote:
>> I've been running a check on the arch/powerpc sourcetree for
>> config Items not defined in Kconfig and found5 such chases.
> Are you aware of

Yes, we are. These scripts aim at a very similar goal. However, we are
using a more sound approach that actually involves parsing CPP
statements and the kconfig language and checking the resulting
constraints with SAT solving tools. This way, we get way more precise

You can read about our approach in [1].


Reinhard Tartler Department of Computer Science IV
Martensstr 1, 91058 Erlangen Germany, University of Erlangen-Nuremberg
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at