[lkml]   [2010]   [Jun]   [11]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [PATCH 0/5] Removing dead code
    Joe Perches <> 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

     \ /
      Last update: 2010-06-11 09:37    [W:0.042 / U:16.024 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site