Fwd: New Defects reported by Coverity Scan for RTEMS

Gedare Bloom gedare at rtems.org
Tue Dec 8 18:10:22 UTC 2020


Hi all,

I get a text report on new defects from Coverity. I don't know how I
managed to sign up for it, and I'm not sure I can get it sent to any list
automatically, but here is the current updated new defects. Just looks like
two new ones related to static assertions.

---------- Forwarded message ---------
From: <scan-admin at coverity.com>
Date: Mon, Dec 7, 2020 at 7:38 AM
Subject: New Defects reported by Coverity Scan for RTEMS
To: <gedare at gwmail.gwu.edu>


Hi,

Please find the latest report on new defect(s) introduced to RTEMS found
with Coverity Scan.

1 new defect(s) introduced to RTEMS found with Coverity Scan.
10 defect(s), reported by Coverity Scan earlier, were marked fixed in the
recent build analyzed by Coverity Scan.

New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)


** CID 1470570:    (PARSE_ERROR)
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()


________________________________________________________________________________________________________
*** CID 1470570:    (PARSE_ERROR)
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()
104      */
105     #pragma GCC diagnostic push
106     #pragma GCC diagnostic ignored "-Waddress"
107     #pragma GCC diagnostic ignored "-Wpragmas"
108     #pragma GCC diagnostic ignored "-Wtautological-pointer-compare"
109
>>>     CID 1470570:    (PARSE_ERROR)
>>>     type of cast must be integral
110     RTEMS_STATIC_ASSERT(
111       CONFIGURE_INIT_TASK_ENTRY_POINT != NULL,
112       CONFIGURE_INIT_TASK_ENTRY_POINT_MUST_NOT_BE_NULL
113     );
114
115     #pragma GCC diagnostic pop
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()
104      */
105     #pragma GCC diagnostic push
106     #pragma GCC diagnostic ignored "-Waddress"
107     #pragma GCC diagnostic ignored "-Wpragmas"
108     #pragma GCC diagnostic ignored "-Wtautological-pointer-compare"
109
>>>     CID 1470570:    (PARSE_ERROR)
>>>     expression must be an integral constant expression
110     RTEMS_STATIC_ASSERT(
111       CONFIGURE_INIT_TASK_ENTRY_POINT != NULL,
112       CONFIGURE_INIT_TASK_ENTRY_POINT_MUST_NOT_BE_NULL
113     );
114
115     #pragma GCC diagnostic pop


________________________________________________________________________________________________________
To view the defects in Coverity Scan visit,
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50ypUUzi-2FdSNmuyRB7BEFT8xQ4-2B8hpujh0hTgQljRGId4Dg-3D-3DQoso_NXfCUf1CLFYLbjXajJIgHlbL5qYn95oel6MvjPauKObduhXPexAzfKX6jsO7er2hdt7mLsPf0-2BXS5HnRA5pW30MNjlaaFQEYCYCMg96r853K06s3gi9LqIWWlUUUfi3rJcv0KJzC5K2ip4-2FvxreJHCA73al8f3y7oipOLr-2BfvAi2Ga39-2F-2FvVNrqQXvFVplDho9gSB1VkeBJYJWCeLSkXVy9toULwXMzhJQ6KVJpOPRk-3D

  To manage Coverity Scan email notifications for "gedare at gwmail.gwu.edu",
click
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yped04pjJnmXOsUBtKYNIXxkxN7gn3yK5ofbuH1ptBFYw9YgpazuIaA-2BBUVKiHj8oV-2B8VTkzFKFnUmsUyw0Q9nyW7WjK2N4nPgBbDLb1fKVuS61T4CLxLpVJMj16z2MR2k-3DfLlk_NXfCUf1CLFYLbjXajJIgHlbL5qYn95oel6MvjPauKObduhXPexAzfKX6jsO7er2hkl-2Fz3PxTuWKbib5pSdrYhFcMwwTQMmLWHWFFVK1o1yTFlpCa4PAXf8ONXr-2B5hqyFvFLjdqvBd1pguBfVv0jrWl9OKawq7XISLIbWTsyNgXacfi1S5KxyRLzvyLgJz4LIRUtGzoxzHZRfQp8hWV9wsMS20-2FrbDJ8kxOqkS24MAJY-3D
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20201208/3c5dc7b1/attachment-0001.html>


More information about the devel mailing list