On Tue, Feb 11, 2025 at 08:11:22AM -0800, Josh Poimboeuf wrote: > Also, for objtool we could use something based on your program to > autogenerate noreturns.h. Only problem is, objtool doesn't currently > have a dependency on CONFIG_DEBUG_INFO. Another option we've considered > is compiler annotations (or compiler plugins). But we don't need to re-generate the file on every build, right? We can have every DBUG_INFO build verify the file is still complete.
