[PATCH] Add model file for Coverity

[Sebastian Huber]

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?

-- 
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/