Imported a model file for Coverity Scan to reduce false positives.
authorArto Bendiken <arto@bendiken.net>
Wed, 15 Oct 2014 13:59:04 +0000 (13:59 +0000)
committerArto Bendiken <arto@bendiken.net>
Wed, 15 Oct 2014 13:59:04 +0000 (13:59 +0000)
commit03e4303ff8d76325036f4e603687a6d3dc36001b
treeddc7e3592d83438addf07da65c99081424dbf384
parentba3d8d907dbc87e018f9af68dde0b0033cbe8fdc
Imported a model file for Coverity Scan to reduce false positives.

In general, any function declared with the 'ecl_attr_noreturn'
attribute might need to be defined to call __coverity_panic__() here.

See: https://scan.coverity.com/tune
src/c/coverity/model.c [new file with mode: 0644]