Re: [PATCH 2/4] objtool: Implement jump_assert for _static_cpu_has()

From: Peter Zijlstra
Date: Mon Jan 15 2018 - 15:16:02 EST


On Mon, Jan 15, 2018 at 01:11:51PM -0600, Josh Poimboeuf wrote:
> Well, to clarify, it would solve _some_ of the problem. Maybe even most
> of the problem. We'd still need to special-case jump labels in objtool
> (like in 1/4), but that's probably not a big deal.
>
> So, contradicting my previous answer here... yes, it would help.

OK, saves me from having to argue otherwise. My argument would've been
that jump labels are fully described and don't need further annotation.

Yes, Boris' proposal would certainly help with the alternative stuff.