Scan build is really pessimistic and assumes that mempool functions can dequeue NULL buffers even if they return success. This is obviously a false possitive, but the mempool dequeue is done in a DPDK inline function that we can't decorate with usual assert(buf != NULL). Instead, under #ifdef __clang_analyzer__ we'll now preinitialize the dequeued buffer array with some dummy objects. Change-Id: I070cfbfd39b6a66d25cd5f9a7c0dfbfadc4cb92a Signed-off-by: Darek Stojaczyk <dariusz.stojaczyk@intel.com> Reviewed-on: https://review.gerrithub.io/c/spdk/spdk/+/463232 Reviewed-by: Karol Latecki <karol.latecki@intel.com> Reviewed-by: Broadcom SPDK FC-NVMe CI <spdk-ci.pdl@broadcom.com> Reviewed-by: Jim Harris <james.r.harris@intel.com> Reviewed-by: Ben Walker <benjamin.walker@intel.com> Tested-by: SPDK CI Jenkins <sys_sgci@intel.com> |
||
---|---|---|
.. | ||
Makefile | ||
vbdev_crypto_rpc.c | ||
vbdev_crypto.c | ||
vbdev_crypto.h |