[Cocci] Patch "scripts: add dummy report mode to add_namespace.cocci" has been added to the 5.7-stable tree

2020-08-07 Thread gregkh
This is a note to let you know that I've just added the patch titled scripts: add dummy report mode to add_namespace.cocci to the 5.7-stable tree which can be found at: http://www.kernel.org/git/?p=linux/kernel/git/stable/stable-queue.git;a=summary The filename of the patch is:

[Cocci] Patch "scripts: add dummy report mode to add_namespace.cocci" has been added to the 5.4-stable tree

2020-08-07 Thread gregkh
This is a note to let you know that I've just added the patch titled scripts: add dummy report mode to add_namespace.cocci to the 5.4-stable tree which can be found at: http://www.kernel.org/git/?p=linux/kernel/git/stable/stable-queue.git;a=summary The filename of the patch is:

[Cocci] Patch "scripts: add dummy report mode to add_namespace.cocci" has been added to the 5.8-stable tree

2020-08-07 Thread gregkh
This is a note to let you know that I've just added the patch titled scripts: add dummy report mode to add_namespace.cocci to the 5.8-stable tree which can be found at: http://www.kernel.org/git/?p=linux/kernel/git/stable/stable-queue.git;a=summary The filename of the patch is:

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-08-06 Thread Shuah Khan
On 8/6/20 1:57 PM, Greg Kroah-Hartman wrote: On Thu, Aug 06, 2020 at 01:48:26PM -0600, Shuah Khan wrote: On 6/22/20 10:14 AM, Shuah Khan wrote: On 6/22/20 9:06 AM, Greg Kroah-Hartman wrote: On Mon, Jun 22, 2020 at 08:46:18AM -0600, Shuah Khan wrote: On 6/22/20 2:03 AM, Matthias Maennich

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-08-06 Thread Shuah Khan
On 6/22/20 10:14 AM, Shuah Khan wrote: On 6/22/20 9:06 AM, Greg Kroah-Hartman wrote: On Mon, Jun 22, 2020 at 08:46:18AM -0600, Shuah Khan wrote: On 6/22/20 2:03 AM, Matthias Maennich wrote: On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: On 6/4/20 1:31 PM, Julia Lawall wrote:

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-08-06 Thread Greg Kroah-Hartman
On Thu, Aug 06, 2020 at 01:48:26PM -0600, Shuah Khan wrote: > On 6/22/20 10:14 AM, Shuah Khan wrote: > > On 6/22/20 9:06 AM, Greg Kroah-Hartman wrote: > > > On Mon, Jun 22, 2020 at 08:46:18AM -0600, Shuah Khan wrote: > > > > On 6/22/20 2:03 AM, Matthias Maennich wrote: > > > > > On Thu, Jun 04,

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-25 Thread Shuah Khan
On 6/22/20 2:03 AM, Matthias Maennich wrote: On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: On 6/4/20 1:31 PM, Julia Lawall wrote: On Thu, 4 Jun 2020, Matthias Maennich wrote: When running `make coccicheck` in report mode using the add_namespace.cocci file, it will fail for

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-25 Thread Shuah Khan
On 6/22/20 9:06 AM, Greg Kroah-Hartman wrote: On Mon, Jun 22, 2020 at 08:46:18AM -0600, Shuah Khan wrote: On 6/22/20 2:03 AM, Matthias Maennich wrote: On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: On 6/4/20 1:31 PM, Julia Lawall wrote: On Thu, 4 Jun 2020, Matthias Maennich

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-22 Thread Greg Kroah-Hartman
On Mon, Jun 22, 2020 at 08:46:18AM -0600, Shuah Khan wrote: > On 6/22/20 2:03 AM, Matthias Maennich wrote: > > On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: > > > On 6/4/20 1:31 PM, Julia Lawall wrote: > > > > > > > > > > > > On Thu, 4 Jun 2020, Matthias Maennich wrote: > > > > >

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-22 Thread Matthias Maennich
On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: On 6/4/20 1:31 PM, Julia Lawall wrote: On Thu, 4 Jun 2020, Matthias Maennich wrote: When running `make coccicheck` in report mode using the add_namespace.cocci file, it will fail for files that contain MODULE_LICENSE. Those match

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-22 Thread Julia Lawall
On Mon, 22 Jun 2020, Matthias Maennich wrote: > On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: > > On 6/4/20 1:31 PM, Julia Lawall wrote: > > > > > > > > > On Thu, 4 Jun 2020, Matthias Maennich wrote: > > > > > > > When running `make coccicheck` in report mode using the > > > >

[Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-04 Thread Matthias Maennich
When running `make coccicheck` in report mode using the add_namespace.cocci file, it will fail for files that contain MODULE_LICENSE. Those match the replacement precondition, but spatch errors out as virtual.ns is not set. In order to fix that, add the virtual rule nsdeps and only do search and

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-04 Thread Shuah Khan
On 6/4/20 1:31 PM, Julia Lawall wrote: On Thu, 4 Jun 2020, Matthias Maennich wrote: When running `make coccicheck` in report mode using the add_namespace.cocci file, it will fail for files that contain MODULE_LICENSE. Those match the replacement precondition, but spatch errors out as

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-04 Thread Julia Lawall
On Thu, 4 Jun 2020, Matthias Maennich wrote: > When running `make coccicheck` in report mode using the > add_namespace.cocci file, it will fail for files that contain > MODULE_LICENSE. Those match the replacement precondition, but spatch > errors out as virtual.ns is not set. > > In order to