Re: [Xen-devel] [PATCH] misc/coverity: Model __builtin_unreachable()

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 24.09.14 at 15:53, <andrew.cooper3@xxxxxxxxxx> wrote:
>  /*
> + * Coverity doesn't understand __builtin_unreachable(), which causes it to
> + * incorrectly find issues based on continuing execution along the false
> + * branch of an ASSERT().
> + */
> +void __builtin_unreachable(void)
> +{
> +    __coverity_panic__();
> +}

And (for those of us without intimate knowledge of Coverity)
__coverity_panic__() does what? By its name I would conclude
it terminates the current scan altogether...

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel