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

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 24/09/14 15:50, Jan Beulich wrote:
>>>> 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
>

__coverity_panic__() is a coverity modelling function defined as "ending
the current execution path".  (See https://scan.coverity.com/tune which
might be behind a login)

Its naming is somewhat unfortunate.

~Andrew


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