Coverity model file

[Sebastian Huber]

Hello,

we use a Coverity model file for

https://scan.coverity.com/projects/rtems

I have to issues with his model file.

1. You have to be an administrator to see it.

2. It is not version controlled.

I suggest to add the model file to the RTEMS tools, for example 
"coverity/model.c".

I would like to add a model for the _Assert() macro:

|#define _Assert( _e ) \ ( ( _e ) ? \ ( void ) 0 : \ 
__coverity_panic__() ) The goal is to reduce UNUSED_VALUE and |NULL_RETURNS findings.
||

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/