Hi,

Please find the latest report on new defect(s) introduced to ARM-software/arm-trusted-firmware found with Coverity Scan.

Defect Details

** CID 506263:       Control flow issues  (DEADCODE)
/include/services/pfdi.h: 127           in pack_vendor_id()


_____________________________________________________________________________________________
*** CID 506263:         Control flow issues  (DEADCODE)
/include/services/pfdi.h: 127             in pack_vendor_id()
121     	uint32_t major  = (uint32_t)((cfg >> PFDI_MAJOR_SHIFT)  & UINT64_C(0xFF));
122     	uint32_t minor  = (uint32_t)((cfg >> PFDI_MINOR_SHIFT)  & UINT64_C(0xFF));
123     
124     	if (((cfg & PFDI_UPPER_RESERVED_MASK) != UINT64_C(0)) ||
125     		((cfg & PFDI_RESERVED_MASK) != UINT64_C(0)) ||
126     		(vendor != PFDI_VENDOR_ARM)) {
>>>     CID 506263:         Control flow issues  (DEADCODE)
>>>     Execution cannot reach this statement: "*version = 0UL;".
127     		*version = 0ull;    /* On error: Must be zero */
128     	} else {
129     		uint64_t v = 0ull;
130     
131     		v |= ((uint64_t)vendor << 24);
132     		v |= ((uint64_t)impl   << 16);

** CID 267379:         (PARSE_ERROR)
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rdv3/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/uniphier/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rpi3/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/tc/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/qemu/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/n1sdp/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stm32mp1-mp13-sdmmc-tbbr/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stm32mp1-mp13-sdmmc-tbbr-dec/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stingray/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/synquacer/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rdn2/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stm32mp1-sdmmc-tbbr/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/warp7/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rdaspen/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rd1ae/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1           in ()


_____________________________________________________________________________________________
*** CID 267379:           (PARSE_ERROR)
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rdv3/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/uniphier/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rpi3/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/tc/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/qemu/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/n1sdp/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stm32mp1-mp13-sdmmc-tbbr/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stm32mp1-mp13-sdmmc-tbbr-dec/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stingray/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/synquacer/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rdn2/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/stm32mp1-sdmmc-tbbr/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/warp7/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rdaspen/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;
/home/buildslave/agent/workspace/tf-a-coverity/trusted-firmware-a/build/rd1ae/debug/libmbedtls/CMakeFiles/CMakeTmp/CheckIncludeFile.c: 1             in ()
>>>     CID 267379:           (PARSE_ERROR)
>>>     cannot open source file "pthread.h"
1     #include <pthread.h>
2     
3     #ifdef __CLASSIC_C__
4     int main()
5     {
6       return 0;

  

View Defects in Coverity Scan

Best regards,

The Coverity Scan Admin Team