[Cocci] RDMA/hns: Checking two kfree() calls in hns_roce_v1_release_lp_qp()

2019-11-08 Thread Markus Elfring
Hello, A coccicheck run provided information like the following. ./drivers/infiniband/hw/hns/hns_roce_hw_v1.c:901:1-6: ERROR: invalid free of structure field ./drivers/infiniband/hw/hns/hns_roce_hw_v1.c:903:1-6: ERROR: invalid free of structure field Generated by:

Re: [Cocci] Fixing SmPL scripts for data output according to structured file formats

2019-11-08 Thread Markus Elfring
> make coccicheck uses --no-show-diff at the approrpiate place so that the * > have no effect if the context option is not chosen. Thanks for your reminder on this command option. How do you think about to look at possibilities around the redirection of output to files so that diff hunks from

Re: [Cocci] Fixing SmPL scripts for data output according to structured file formats

2019-11-08 Thread Julia Lawall
On Fri, 8 Nov 2019, Markus Elfring wrote: > Hello, > > I have taken another look at a script for the semantic patch language. > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/scripts/coccinelle/free/iounmap.cocci?id=cd0207a7bfd29016a4eeb0b0203fa900b41e4eee > > It

[Cocci] Fixing SmPL scripts for data output according to structured file formats

2019-11-08 Thread Markus Elfring
Hello, I have taken another look at a script for the semantic patch language. https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/scripts/coccinelle/free/iounmap.cocci?id=cd0207a7bfd29016a4eeb0b0203fa900b41e4eee It belongs to the category of SmPL scripts which support data