Re: [Cocci] Determination of failure predicates for selected function calls with SmPL?

2020-03-25 Thread Markus Elfring
>> I have noticed the patch “tty: serial: fsl_lpuart: fix return value >> checking”. >> https://lore.kernel.org/linux-serial/20200325090658.25967-2-mich...@walle.cc/ … > I'm not sure what there is to clarify. One can surely write rules that > find this kind of problem, with a varying rate of fals

Re: [Cocci] Determination of failure predicates for selected function calls with SmPL?

2020-03-25 Thread Markus Elfring
>> I have noticed the patch “tty: serial: fsl_lpuart: fix return value >> checking”. >> https://lore.kernel.org/linux-serial/20200325090658.25967-2-mich...@walle.cc/ … > I'm not sure what there is to clarify. Such an use case can point some software development challenges out. > One can surely

Re: [Cocci] Determination of failure predicates for selected function calls with SmPL?

2020-03-25 Thread Julia Lawall
On Wed, 25 Mar 2020, Markus Elfring wrote: > Hello, > > I have noticed the patch “tty: serial: fsl_lpuart: fix return value checking”. > https://lore.kernel.org/linux-serial/20200325090658.25967-2-mich...@walle.cc/ > https://lore.kernel.org/patchwork/patch/1215542/ > https://lkml.org/lkml/2020/3

[Cocci] Determination of failure predicates for selected function calls with SmPL?

2020-03-25 Thread Markus Elfring
Hello, I have noticed the patch “tty: serial: fsl_lpuart: fix return value checking”. https://lore.kernel.org/linux-serial/20200325090658.25967-2-mich...@walle.cc/ https://lore.kernel.org/patchwork/patch/1215542/ https://lkml.org/lkml/2020/3/25/202 I am curious if such a software transformation c