On Mon, Feb 01, 2021 at 03:59:50PM -0600, Madhavan T. Venkataraman wrote:

Agreed. Static checks are necessary. I am only trying to see if the number
of static checks we have to do in objtool can be minimized. Also, should
every static check failure fail the kernel build?

At the end of the day this is like any other warning or error detection
check - it's a bit of a judgement call per problem detected which
depends on how confident we are in the accuracy of the static check (is
it prone to false positives?), how serious the issue identified is, how
reliant we are on the behaviour being checked for and so on.