Skip to content

Commit db6c6a0

Browse files
jpoimboesuryasaimadhu
authored andcommitted
objtool: Fix noreturn detection for ignored functions
When a function is annotated with STACK_FRAME_NON_STANDARD, objtool doesn't validate its code paths. It also skips sibling call detection within the function. But sibling call detection is actually needed for the case where the ignored function doesn't have any return instructions. Otherwise objtool naively marks the function as implicit static noreturn, which affects the reachability of its callers, resulting in "unreachable instruction" warnings. Fix it by just enabling sibling call detection for ignored functions. The 'insn->ignore' check in add_jump_destinations() is no longer needed after e6da956 ("objtool: Don't use ignore flag for fake jumps"). Fixes the following warning: arch/x86/kvm/vmx/vmx.o: warning: objtool: vmx_handle_exit_irqoff()+0x142: unreachable instruction which triggers on an allmodconfig with CONFIG_GCOV_KERNEL unset. Reported-by: Linus Torvalds <torvalds@linux-foundation.org> Signed-off-by: Josh Poimboeuf <jpoimboe@redhat.com> Signed-off-by: Borislav Petkov <bp@suse.de> Acked-by: Linus Torvalds <torvalds@linux-foundation.org> Link: https://lkml.kernel.org/r/5b1e2536cdbaa5246b60d7791b76130a74082c62.1599751464.git.jpoimboe@redhat.com
1 parent 856deb8 commit db6c6a0

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

tools/objtool/check.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -619,7 +619,7 @@ static int add_jump_destinations(struct objtool_file *file)
619619
if (!is_static_jump(insn))
620620
continue;
621621

622-
if (insn->ignore || insn->offset == FAKE_JUMP_OFFSET)
622+
if (insn->offset == FAKE_JUMP_OFFSET)
623623
continue;
624624

625625
reloc = find_reloc_by_dest_range(file->elf, insn->sec,

0 commit comments

Comments
 (0)