Re: [LyX/master] Fix coverity issues about exceptions

2017-04-16 Thread Jean-Marc Lasgouttes 
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.

Re: [LyX/master] Fix coverity issues about exceptions

2017-04-15 Thread Tommaso Cucinotta 

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.