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.hu...@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.hu...@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@rtems.org > http://lists.rtems.org/mailman/listinfo/devel
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
