scripts/coccinelle: New script to remove unnecessary timer_del() calls
commit01b3e68bb18d1a37f013ffac41423faa7c00958f
authorPeter Maydell <peter.maydell@linaro.org>
Tue, 15 Dec 2020 15:41:05 +0000 (15 15:41 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Fri, 8 Jan 2021 15:13:38 +0000 (8 15:13 +0000)
tree5efdfee8f830db10d9700631d914f93da401d514
parent5f8e93c3e262ab518c9e8f9a5bb2b391b3d64be9
scripts/coccinelle: New script to remove unnecessary timer_del() calls

Now that timer_free() implicitly calls timer_del(), sequences
  timer_del(mytimer);
  timer_free(mytimer);

can be simplified to just
  timer_free(mytimer);

Add a Coccinelle script to do this transformation.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Acked-by: Paolo Bonzini <pbonzini@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20201215154107.3255-3-peter.maydell@linaro.org
scripts/coccinelle/timer-del-timer-free.cocci [new file with mode: 0644]