[coverity] Add Coverity user model
authorMichael Brown <mcb30@ipxe.org>
Wed, 22 Mar 2017 14:46:03 +0000 (16:46 +0200)
committerMichael Brown <mcb30@ipxe.org>
Wed, 22 Mar 2017 14:46:03 +0000 (16:46 +0200)
commit65a3518013ec9ae97c9eb824cb89452111f8a7c0
treea6686da2f0cb00ea73c745ea219c0aa410e69607
parentf032556b15f13a7884d3fc0ccc4d54c2a390d4e9
[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 [new file with mode: 0644]