On 28/01/2021 20:29, Joel Sherrill wrote:
I'm still not getting emails when the runs are finished but it looks
like it is done.
Thanks for starting a new run with the updated file. It seems the
#define stuff in the model file didn't work. For example, we still have
CID 1399745. You can expand the _Assert() macro in the code view and it
ends up with #define _Assert( _e ) ( ( void ) 0 ) from
cpukit/include/rtems/score/assert.h. I guess you can only model real
functions after pre-processing. What Mozilla did 15 years ago is this:
https://bugzilla.mozilla.org/show_bug.cgi?id=334315
https://bug334315.bmoattachments.org/attachment.cgi?id=218644
FWIW spi-sd-card.c seems to be the one I see everytime I load the
defect page.
The three in spi-sd-card.c look legitimate. Not sure what your approach
is for nibbling at them but at first glance, those look fixable.
I can't spend a lot time on Coverity stuff, so I concentrate on things
in score and stuff which has to do with network services.
And are there other directories we want to ignore defects in? I have
been on the
fence about the shell. One pass to ignore defects in third party code
that we haven't
modified might reduce the count.
--
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
