[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



>>> 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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.