Re: [Cocci] Incorrect match with when != condition

2021-03-17 Thread Denis Efremov
On 3/17/21 11:32 PM, Julia Lawall wrote: On Wed, 17 Mar 2021, Denis Efremov wrote: Hi, I'm trying to write the check to detect the absence of commit https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit?id=51b2ee7d006a736a9126e8111d1f24e4fd0afaa6 in kernel. The pattern

Re: [Cocci] Incorrect match with when != condition

2021-03-17 Thread Julia Lawall
On Wed, 17 Mar 2021, Denis Efremov wrote: > Hi, > > I'm trying to write the check to detect the absence of commit > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit?id=51b2ee7d006a736a9126e8111d1f24e4fd0afaa6 > in kernel. The pattern can be: > > @err exists@ > identifie

[Cocci] Incorrect match with when != condition

2021-03-17 Thread Denis Efremov
Hi, I'm trying to write the check to detect the absence of commit https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit?id=51b2ee7d006a736a9126e8111d1f24e4fd0afaa6 in kernel. The pattern can be: @err exists@ identifier namlen, dchild, dparent, exp; position p; statement S; @@