On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
> Fix it by removing expr_eliminate_dups2() and the functions that have no use
> anywhere else: expr_extract_eq_and(), expr_extract_eq_or(),
> and expr_extract_eq() from scripts/kconfig/expr.[ch]
>
> Currently the bug is not triggered in
On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
Fix it by removing expr_eliminate_dups2() and the functions that have no use
anywhere else: expr_extract_eq_and(), expr_extract_eq_or(),
and expr_extract_eq() from scripts/kconfig/expr.[ch]
Currently the bug is not triggered in mainline,
On Tuesday 07 October 2014 11:21:51 Dirk Gouders wrote:
> Paul Bolle writes:
>
> > On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
> >> expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
> >> inference rules:
> >>
> >> (FOO || BAR) && (!FOO && !BAR) -> n
> >> (FOO && BAR)
On Tuesday 07 October 2014 11:21:51 Dirk Gouders wrote:
Paul Bolle pebo...@tiscali.nl writes:
On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
inference rules:
(FOO || BAR) (!FOO !BAR) - n
(FOO BAR) || (!FOO
CC: Michal added
Paul Bolle writes:
> On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
>> expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
>> inference rules:
>>
>> (FOO || BAR) && (!FOO && !BAR) -> n
>> (FOO && BAR) || (!FOO || !BAR) -> y
>>
>> They would be correct in
On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
> expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
> inference rules:
>
> (FOO || BAR) && (!FOO && !BAR) -> n
> (FOO && BAR) || (!FOO || !BAR) -> y
>
> They would be correct in propositional logic, but this is a three-valued
On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
inference rules:
(FOO || BAR) (!FOO !BAR) - n
(FOO BAR) || (!FOO || !BAR) - y
They would be correct in propositional logic, but this is a three-valued
logic, and
CC: Michal added
Paul Bolle pebo...@tiscali.nl writes:
On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
inference rules:
(FOO || BAR) (!FOO !BAR) - n
(FOO BAR) || (!FOO || !BAR) - y
They would be correct in
expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
inference rules:
(FOO || BAR) && (!FOO && !BAR) -> n
(FOO && BAR) || (!FOO || !BAR) -> y
They would be correct in propositional logic, but this is a three-valued
logic, and here it is wrong in that it changes semantics. It becomes
expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
inference rules:
(FOO || BAR) (!FOO !BAR) - n
(FOO BAR) || (!FOO || !BAR) - y
They would be correct in propositional logic, but this is a three-valued
logic, and here it is wrong in that it changes semantics. It becomes
10 matches
Mail list logo