aboutsummaryrefslogtreecommitdiff
path: root/lib/mpi/mpi-sub-ui.c
diff options
context:
space:
mode:
authorDenis Efremov <[email protected]>2021-03-05 13:09:56 +0300
committerJulia Lawall <[email protected]>2021-05-01 21:23:56 +0200
commit7845daa8bd72efa8bbc1de122edfce6e058bbe41 (patch)
tree40a486e587c8ea2b8a5b774956992fa5f5e407e3 /lib/mpi/mpi-sub-ui.c
parentcb62732d3bf0cd4c136d5927b003f002ff658e1c (diff)
coccinelle: misc: add swap script
Check for opencoded swap() implementation. Signed-off-by: Denis Efremov <[email protected]> Signed-off-by: Julia Lawall <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-sub-ui.c')
0 files changed, 0 insertions, 0 deletions