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