Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Date:   Thu, 29 Apr 2021 11:39:59 -0700
From:   "Paul E. McKenney" <paulmck@kernel.org>
To:     Jules Irenge <jbi.octave@gmail.com>
Cc:     rcu@vger.kernel.org, joel@joelfernandes.org,
        jiangshanlai@gmail.com, mathieu.desnoyers@efficios.com,
        rostedt@goodmis.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] rcu: Add missing __releases() annotation
Message-ID: <20210429183959.GY975577@paulmck-ThinkPad-P17-Gen-1>
Reply-To: paulmck@kernel.org
References: <20210428231219.48109-1-jbi.octave@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20210428231219.48109-1-jbi.octave@gmail.com>
Precedence: bulk

On Thu, Apr 29, 2021 at 12:12:19AM +0100, Jules Irenge wrote:
> Sparse report a warning at rcu_print_task_stall()
> 
> "warning: context imbalance in rcu_print_task_stall - unexpected unlock"
> 
> The root cause is a missing annotation at  rcu_print_task_stall() function
> 
> Add the missing __releases(rnp->lock) annotation
> 
> Signed-off-by: Jules Irenge <jbi.octave@gmail.com>

Good catch, applied, thank you!

							Thanx, Paul

> ---
>  kernel/rcu/tree_stall.h | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/kernel/rcu/tree_stall.h b/kernel/rcu/tree_stall.h
> index 59b95cc5cbdf..18b2d5274d65 100644
> --- a/kernel/rcu/tree_stall.h
> +++ b/kernel/rcu/tree_stall.h
> @@ -314,6 +314,7 @@ static void rcu_print_detail_task_stall_rnp(struct rcu_node *rnp)
>   * tasks blocked within RCU read-side critical sections.
>   */
>  static int rcu_print_task_stall(struct rcu_node *rnp, unsigned long flags)
> +	__releases(rnp->lock)
>  {
>  	raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
>  	return 0;
> -- 
> 2.31.1
>