x86: mark BUG()s and assertion failures as terminal.
authorTim Deegan <tim@xen.org>
Thu, 19 Sep 2013 14:38:09 +0000 (15:38 +0100)
committerTim Deegan <tim@xen.org>
Thu, 19 Sep 2013 15:17:57 +0000 (16:17 +0100)
commitd2fd6f2b01ed0e1dad93ee1970233e7b54507b26
treecf9f920bdce2fcafbf771170d7511a6d75ec2272
parentdad7e45bf44c0569546a3ed7d0fa4182a4a73f0a
x86: mark BUG()s and assertion failures as terminal.

This helps avoid static analysis false-positives, and might lead to
better code density as the compiler knows it doesn't have to restore
spilled state &c.

Signed-off-by: Tim Deegan <tim@xen.org>
Acked-by: Keir Fraser <keir@xen.org>
xen/include/asm-x86/bug.h
xen/include/xen/compiler.h