Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
[coverity] Add Coverity user model
Add a trivial model file to prevent Coverity from making incorrect
assumptions about functions where the wimboot behaviour diverges from
POSIX or Linux norms.

Signed-off-by: Michael Brown <mbrown@fensystems.co.uk>
  • Loading branch information
mcb30 committed May 3, 2017
1 parent 10c2887 commit 398bdbd
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions src/coverity-model.c
@@ -0,0 +1,10 @@
/*
* Coverity modelling file
*
*/

/* Inhibit use of built-in models for functions where Coverity's
* assumptions about the modelled function are incorrect for wimboot.
*/
int getchar ( void ) {
}

0 comments on commit 398bdbd

Please sign in to comment.