Re: [Cocci] [PATCH] coccinnelle: Remove ptr_ret script

2020-12-15 Thread Maxime Ripard
On Tue, Dec 15, 2020 at 09:52:36AM +0100, Julia Lawall wrote: > > > On Tue, 15 Dec 2020, Maxime Ripard wrote: > > > Hi, > > > > On Tue, Jan 07, 2020 at 11:29:54AM +0100, Wolfram Sang wrote: > > > On Tue, Jan 07, 2020 at 11:06:56AM +0100, Julia Lawall wrote: > > > > > > > > > > > > On Tue, 7 Jan

Re: [Cocci] [PATCH] coccinnelle: Remove ptr_ret script

2020-12-15 Thread Julia Lawall
On Tue, 15 Dec 2020, Maxime Ripard wrote: > Hi, > > On Tue, Jan 07, 2020 at 11:29:54AM +0100, Wolfram Sang wrote: > > On Tue, Jan 07, 2020 at 11:06:56AM +0100, Julia Lawall wrote: > > > > > > > > > On Tue, 7 Jan 2020, Maxime Ripard wrote: > > > > > > > The ptr_ret script script addresses a numb

Re: [Cocci] [PATCH] coccinnelle: Remove ptr_ret script

2020-12-15 Thread Maxime Ripard
Hi, On Tue, Jan 07, 2020 at 11:29:54AM +0100, Wolfram Sang wrote: > On Tue, Jan 07, 2020 at 11:06:56AM +0100, Julia Lawall wrote: > > > > > > On Tue, 7 Jan 2020, Maxime Ripard wrote: > > > > > The ptr_ret script script addresses a number of situations where we end up > > > testing an error poin