On Thu, Jan 28, 2021 at 1:11 PM Joel Sherrill <j...@rtems.org> wrote:
> > > 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? > I added your model and it is automatically queued up to re-run the analysis. I guess we will see if it fixes things. Feel free to push it. > > --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