Coverity model file

[Gedare Bloom]

Super, let's do it. Changing it is a manual process. So whoever pushes the
file in the tools repo should also be responsible to make sure it gets
uploaded. I'm willing to do the upload on-demand.

(Apparently the last coverity build failed.)


On Wed, Jan 27, 2021 at 11:17 AM Sebastian Huber <
sebastian.huber at embedded-brains.de> wrote:

> 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/
>
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20210127/a2043206/attachment.html>