Searched hist:b68bcfeb1d959ec0eee1bd20be435be1718868b9 (Results 1 – 1 of 1) sorted by relevance
| /optee_os/lib/libutee/ |
| H A D | tee_api_panic.c | b68bcfeb1d959ec0eee1bd20be435be1718868b9 Fri Feb 19 08:00:09 UTC 2021 Jens Wiklander <jens.wiklander@linaro.org> libutee: add coverity note to TEE_Panic()
Coverity scans emits false positive "Dereference after null check"
errors because it doesn't understand that TEE_Panic() doesn't return.
Fix this by adding a __coverity_panic__() at the end of the function.
Reviewed-by: Jerome Forissier <jerome@forissier.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
|