From 65a3518013ec9ae97c9eb824cb89452111f8a7c0 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@ipxe.org>
Date: Wed, 22 Mar 2017 16:46:03 +0200
Subject: [PATCH] [coverity] Add Coverity user model

Add a trivial model file to prevent Coverity from making various
incorrect assumptions about functions where the iPXE behaviour
diverges from POSIX or Linux norms.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 contrib/coverity/model.c | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 contrib/coverity/model.c

diff --git a/contrib/coverity/model.c b/contrib/coverity/model.c
new file mode 100644
index 00000000..15535d42
--- /dev/null
+++ b/contrib/coverity/model.c
@@ -0,0 +1,21 @@
+/*
+ * Coverity modelling file
+ *
+ */
+
+typedef long off_t;
+typedef void * userptr_t;
+typedef long long time_t;
+struct tm;
+
+/* Inhibit use of built-in models for functions where Coverity's
+ * assumptions about the modelled function are incorrect for iPXE.
+ */
+char * strerror ( int errno ) {
+}
+void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) {
+}
+time_t mktime ( struct tm *tm ) {
+}
+int getchar ( void ) {
+}