On Thu, Jan 16, 2020 at 8:18 PM Masahiro Yamada <masahiroy@xxxxxxxxxx> wrote: > > On Tue, Jan 14, 2020 at 8:22 AM Bjorn Helgaas <helgaas@xxxxxxxxxx> wrote: > > > > From: Bjorn Helgaas <bhelgaas@xxxxxxxxxx> > > > > Fix a couple typos in kconfig-language documentation. > > > > Signed-off-by: Bjorn Helgaas <bhelgaas@xxxxxxxxxx> > > --- > > Documentation/kbuild/kconfig-language.rst | 6 +++--- > > 1 file changed, 3 insertions(+), 3 deletions(-) > > > > diff --git a/Documentation/kbuild/kconfig-language.rst b/Documentation/kbuild/kconfig-language.rst > > index 74bef19f69f0..f547720bd82d 100644 > > --- a/Documentation/kbuild/kconfig-language.rst > > +++ b/Documentation/kbuild/kconfig-language.rst > > @@ -594,7 +594,7 @@ The two different resolutions for b) can be tested in the sample Kconfig file > > Documentation/kbuild/Kconfig.recursion-issue-02. > > > > Below is a list of examples of prior fixes for these types of recursive issues; > > -all errors appear to involve one or more select's and one or more "depends on". > > +all errors appear to involve one or more "selects" and one or more "depends on". > > > I think "selects" is strange here. > > "select" is a Kconfig keyword. > select's is intentional, I guess. > > > Keep it as-is, or perhaps change it into "select" (singular) ? With rare exceptions, apostrophes are not used to form a plural noun. Maybe it could be recast as "... at least one 'select' attribute and at least one 'depends on' attribute"? I'm not quite sure what the intended meaning is, because the table it refers to has lines that contain only "depends on" (without "select") and also lines that contain only "select" (no "depends on"). > > ============ =================================== > > commit fix > > @@ -656,7 +656,7 @@ the use of the xconfig configurator [1]_. Work should be done to confirm if > > the deduced semantics matches our intended Kconfig design goals. > > > > Having well defined semantics can be useful for tools for practical > > -evaluation of depenencies, for instance one such use known case was work to > > +evaluation of dependencies, for instance one such case was work to > > express in boolean abstraction of the inferred semantics of Kconfig to > > translate Kconfig logic into boolean formulas and run a SAT solver on this to > > find dead code / features (always inactive), 114 dead features were found in > > @@ -683,7 +683,7 @@ abstraction the inferred semantics of Kconfig to translate Kconfig logic into > > boolean formulas and run a SAT solver on it [5]_. Another known related project > > is CADOS [6]_ (former VAMOS [7]_) and the tools, mainly undertaker [8]_, which > > has been introduced first with [9]_. The basic concept of undertaker is to > > -exract variability models from Kconfig, and put them together with a > > +extract variability models from Kconfig and put them together with a > > propositional formula extracted from CPP #ifdefs and build-rules into a SAT > > solver in order to find dead code, dead files, and dead symbols. If using a SAT > > solver is desirable on Kconfig one approach would be to evaluate repurposing > > -- > > 2.25.0.rc1.283.g88dfdc4193-goog > > > > > -- > Best Regards > Masahiro Yamada
