It is a file uploaded separately to coverity that indicates that some functions
are assertions. They tell coverity that we are aware that the pointer that we
use is assumed to be non null, for example.
JMarc
Le 15 avril 2017 22:10:30 GMT+02:00, Tommaso Cucinotta a
écrit :
>On 24/03/2017 16:48, Jean-Marc Lasgouttes wrote:
>> +++ b/development/coverity_modeling.cpp
>> @@ -0,0 +1,13 @@
>> +// This file is a modeling file for coverity
>
>New to coverity: what does this mean ? does this file get compiled when
>I type make ?
>Having to add a .cpp file just to please a code checker sounds weird...
>
>Thanks,
>
> T.