On Mon, Jan 11, 2021 at 09:08:59AM +0800, Zhouyi Zhou wrote: > In function rcu_nmi_enter, there is a surplus instrumentation_end > in second branch of if statement, although objtool check -f vmlinux.o will > not complain because of its inability to correctly cover all cases > (objtool will visit the third branch first, which markes > following trace_rcu_dyntick as visited), I think remove the surplus > instrumentation_end will make the code better. > > > Signed-off-by: Zhouyi Zhou <zhouzhouyi@xxxxxxxxx> Good catch, applied, thank you! As usual, I edited a bit, so please check below to see if I messed anything up. I did add Neeraj Upadhyay's Reported-by because he noted this, though you beat him with a public posting, though mostly because I asked him whether he could make this happen. I also added the Fixes, but could you please do that in the future? You can use "git blame" or either "git log" and "gitk" with appropriate options to find the offending commit. Thanx, Paul ------------------------------------------------------------------------ commit 3f91ff7fd4f76e7eb48bad79666c466bc3530324 Author: Zhouyi Zhou <zhouzhouyi@xxxxxxxxx> Date: Mon Jan 11 09:08:59 2021 +0800 rcu: Remove spurious instrumentation_end() in rcu_nmi_enter() In rcu_nmi_enter(), there is an erroneous instrumentation_end() in the second branch of the "if" statement. Oddly enough, "objtool check -f vmlinux.o" fails to complain because it is unable to correctly cover all cases. Instead, objtool visits the third branch first, which marks following trace_rcu_dyntick() as visited. This commit therefore removes the spurious instrumentation_end(). Fixes: 04b25a495bd6 ("rcu: Mark rcu_nmi_enter() call to rcu_cleanup_after_idle() noinstr") Reported-by Neeraj Upadhyay <neeraju@xxxxxxxxxxxxxx> Signed-off-by: Zhouyi Zhou <zhouzhouyi@xxxxxxxxx> Signed-off-by: Paul E. McKenney <paulmck@xxxxxxxxxx> diff --git a/kernel/rcu/tree.c b/kernel/rcu/tree.c index 63c6dba..e04e336 100644 --- a/kernel/rcu/tree.c +++ b/kernel/rcu/tree.c @@ -1050,7 +1050,6 @@ noinstr void rcu_nmi_enter(void) } else if (!in_nmi()) { instrumentation_begin(); rcu_irq_enter_check_tick(); - instrumentation_end(); } else { instrumentation_begin(); }