[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2 2/4] scripts/coccinelle: New script to remove unnecessary
From: |
Richard Henderson |
Subject: |
Re: [PATCH v2 2/4] scripts/coccinelle: New script to remove unnecessary timer_del() calls |
Date: |
Tue, 15 Dec 2020 09:55:03 -0600 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
On 12/15/20 9:41 AM, Peter Maydell wrote:
> 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>
> ---
> scripts/coccinelle/timer-del-timer-free.cocci | 18 ++++++++++++++++++
> 1 file changed, 18 insertions(+)
> create mode 100644 scripts/coccinelle/timer-del-timer-free.cocci
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
r~