On Thu, Jan 28, 2021 at 12:44 PM Sebastian Huber <
sebastian.hu...@embedded-brains.de> wrote:
> On 28/01/2021 19:42, Sebastian Huber wrote:
>
> > +#define _CPU_Fatal_halt( _source, _error ) \
> > + do { \
> > + (void) _source; \
> > + (void) _error; \
> > + __coverity_panic__(); \
> > + } while( 0 )
>
> I am not sure if #define works for the models. The documentation
> mentions only real functions and types. I guess we have to try it out.
>
> Which built-in defines are used by Coverity? For example, is __GNUC__
> defined? What does it with __asm__ statements?
>
No idea.
They appear to do their best to hide the documentation from open source
users as best I can tell. They send you to stackoverflow. They used to have
a support email. I did manage to find this but it wasn't easy (thanks
Google)
https://scan.coverity.com/models
I have found some examples and guidance from other open source projects.
But not much.
https://fossies.org/linux/xen/misc/coverity/model.c
There is this old blog about some things commonly flagged in Linux and
what they did.
https://www.synopsys.com/blogs/software-security/gimme-a-break/
Adding comments for intentional switch case fall throughs "nobreak" is
properly
a good idea without crossing into adding Coverity specific disables.
Do you want Gedare or I to upload that and see what happens?
--joel
>
> --
> 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
