diff options
| author | Denis Efremov <efremov@linux.com> | 2020-10-16 11:54:42 +0300 |
|---|---|---|
| committer | Julia Lawall <Julia.Lawall@lip6.fr> | 2020-10-17 23:11:06 +0200 |
| commit | edc05fe5559e9b79e64cfec3b960f6a913b73493 (patch) | |
| tree | 8bb939d3f24a92eebbaea87e8ac4ff7b47a2bf9c /lib/mpi/mpi-div.c | |
| parent | 82c2d81361ecd142a54e84a9da1e287113314a4f (diff) | |
coccinelle: api: add kfree_mismatch script
Check that alloc and free types of functions match each other.
Signed-off-by: Denis Efremov <efremov@linux.com>
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Diffstat (limited to 'lib/mpi/mpi-div.c')
0 files changed, 0 insertions, 0 deletions