From: Reinhard Tartler <Reinhard.Tartler@informatik.uni-erlangen.de>
To: Joe Perches <joe@perches.com>
Cc: "Robert P. J. Day" <rpjday@crashcourse.ca>,
vamos@i4.informatik.uni-erlangen.de,
Christoph Egger <siccegge@cs.fau.de>,
linux-kernel@vger.kernel.org, linuxppc-dev@ozlabs.org
Subject: Re: [PATCH 0/5] Removing dead code
Date: Fri, 11 Jun 2010 09:26:02 +0200 [thread overview]
Message-ID: <rwutypado8l.fsf@faui48a.informatik.uni-erlangen.de> (raw)
In-Reply-To: <1276195612.1556.279.camel@Joe-Laptop.home> (Joe Perches's message of "Thu, 10 Jun 2010 11:46:52 -0700")
Joe Perches <joe@perches.com> 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
> http://www.crashcourse.ca/wiki/index.php/Kernel_cleanup_scripts
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
results.
You can read about our approach in [1].
[1] http://portal.acm.org/citation.cfm?id=1629732
--
Reinhard Tartler Department of Computer Science IV
Martensstr 1, 91058 Erlangen Germany, University of Erlangen-Nuremberg
http://www4.informatik.uni-erlangen.de/~tartler
prev parent reply other threads:[~2010-06-11 7:34 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-09 9:58 [PATCH 0/5] Removing dead code Christoph Egger
2010-06-09 9:59 ` [PATCH 1/5] Removing dead BOOK3E_MMU_TLB_STATS Christoph Egger
2010-06-10 5:20 ` Benjamin Herrenschmidt
2010-06-09 9:59 ` [PATCH 2/5] Removing dead CONFIG_HIGHPTE Christoph Egger
2010-06-09 10:00 ` [PATCH 3/5] Removing dead CONFIG_SMP_750 Christoph Egger
2010-06-09 12:35 ` Josh Boyer
2010-06-10 6:14 ` Benjamin Herrenschmidt
2010-06-10 12:23 ` Christoph Egger
2010-06-11 6:41 ` Benjamin Herrenschmidt
2010-06-09 10:00 ` [PATCH 4/5] Removing dead CONFIG_SERIAL_TEXT_DEBUG Christoph Egger
2010-06-09 10:28 ` Josh Boyer
2010-06-09 10:01 ` [PATCH 5/5] Removing dead CONFIG_PPC47x Christoph Egger
2010-06-09 11:02 ` [PATCH 5b/5] " Christoph Egger
2010-06-09 12:05 ` Josh Boyer
2010-06-10 8:59 ` Benjamin Herrenschmidt
2010-06-10 18:46 ` [PATCH 0/5] Removing dead code Joe Perches
2010-06-11 7:26 ` Reinhard Tartler [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=rwutypado8l.fsf@faui48a.informatik.uni-erlangen.de \
--to=reinhard.tartler@informatik.uni-erlangen.de \
--cc=joe@perches.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linuxppc-dev@ozlabs.org \
--cc=rpjday@crashcourse.ca \
--cc=siccegge@cs.fau.de \
--cc=vamos@i4.informatik.uni-erlangen.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).