diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-12-15 15:41:05 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2021-01-08 15:13:38 +0000 |
| commit | 01b3e68bb18d1a37f013ffac41423faa7c00958f (patch) | |
| tree | 5efdfee8f830db10d9700631d914f93da401d514 /hw/watchdog/wdt_i6300esb.c | |
| parent | 5f8e93c3e262ab518c9e8f9a5bb2b391b3d64be9 (diff) | |
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
Diffstat (limited to 'hw/watchdog/wdt_i6300esb.c')
0 files changed, 0 insertions, 0 deletions