Re: [PATCH] arch: configuration, deleting 'CONFIG_BUG' since always need it.

H. Peter Anvin
2013-05-28T14:55:32Z

On 05/28/2013 01:19 AM, Ingo Molnar wrote:
>
> So I think the same principle applies to it as to any other debugging
> code: it's fine to be able to turn debugging off. It's a performance
> versus kernel robustness/determinism trade-off.
>

I suspect, rather, that BUG() should turn into a trap (or jump to a
death routine) under any circumstances. The one thing that can be
omitted for small configurations are the annotations, which only serve
to output a more human-readable error message.

-hpa