Re: [Cocci] [PATCH] Coccinelle: null: Optimise disjunctions in SmPL script “eno.cocci”

2020-10-25 Thread Julia Lawall
On Sun, 25 Oct 2020, Markus Elfring wrote: > From: Markus Elfring > Date: Sun, 25 Oct 2020 18:54:36 +0100 > > A disjunction is applied by this script for the semantic patch language. > This construct uses short-circuit evaluation. It has got the consequence > that the last element of the

[Cocci] [PATCH] Coccinelle: null: Optimise disjunctions in SmPL script “eno.cocci”

2020-10-25 Thread Markus Elfring
From: Markus Elfring Date: Sun, 25 Oct 2020 18:54:36 +0100 A disjunction is applied by this script for the semantic patch language. This construct uses short-circuit evaluation. It has got the consequence that the last element of the specified condition will only be checked if all previous parts