[coverity] Override assumptions about wcrtomb() and hmac_init()
authorMichael Brown <mcb30@ipxe.org>
Sat, 17 Aug 2019 16:18:54 +0000 (17:18 +0100)
committerMichael Brown <mcb30@ipxe.org>
Sat, 17 Aug 2019 16:18:54 +0000 (17:18 +0100)
commita5c41483d226a6c4dbfaf35f57dc092cd57bc601
treec55a6457992551b782db9cb0c298ba4d798214ce
parent0cc12f053cf9be73ab7a577bb86e2909211f1c70
[coverity] Override assumptions about wcrtomb() and hmac_init()

Newer versions of Coverity use built-in models for wcrtomb() and
hmac_init() that are capable of returning errors, and reports defects
due to code failing to check for these errors.  The actual iPXE
implementations are simpler than Coverity's models and can never
return errors, so these defects are false positives.

Fix by overriding Coverity's built-in models for these functions.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
contrib/coverity/model.c