<div dir="ltr"><div class="gmail_quote"><br><div dir="ltr">Hi all,<div><br></div><div>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.<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <span dir="auto"><<a href="mailto:scan-admin@coverity.com" target="_blank">scan-admin@coverity.com</a>></span><br>Date: Mon, Dec 7, 2020 at 7:38 AM<br>Subject: New Defects reported by Coverity Scan for RTEMS<br>To:  <<a href="mailto:gedare@gwmail.gwu.edu" target="_blank">gedare@gwmail.gwu.edu</a>><br></div><br><br>Hi,<br>
<br>
Please find the latest report on new defect(s) introduced to RTEMS found with Coverity Scan.<br>
<br>
1 new defect(s) introduced to RTEMS found with Coverity Scan.<br>
10 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.<br>
<br>
New defect(s) Reported-by: Coverity Scan<br>
Showing 1 of 1 defect(s)<br>
<br>
<br>
** CID 1470570:    (PARSE_ERROR)<br>
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()<br>
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()<br>
<br>
<br>
________________________________________________________________________________________________________<br>
*** CID 1470570:    (PARSE_ERROR)<br>
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()<br>
104      */<br>
105     #pragma GCC diagnostic push<br>
106     #pragma GCC diagnostic ignored "-Waddress"<br>
107     #pragma GCC diagnostic ignored "-Wpragmas"<br>
108     #pragma GCC diagnostic ignored "-Wtautological-pointer-compare"<br>
109     <br>
>>>     CID 1470570:    (PARSE_ERROR)<br>
>>>     type of cast must be integral<br>
110     RTEMS_STATIC_ASSERT(<br>
111       CONFIGURE_INIT_TASK_ENTRY_POINT != NULL,<br>
112       CONFIGURE_INIT_TASK_ENTRY_POINT_MUST_NOT_BE_NULL<br>
113     );<br>
114     <br>
115     #pragma GCC diagnostic pop<br>
/cpukit/include/rtems/confdefs/inittask.h: 110 in ()<br>
104      */<br>
105     #pragma GCC diagnostic push<br>
106     #pragma GCC diagnostic ignored "-Waddress"<br>
107     #pragma GCC diagnostic ignored "-Wpragmas"<br>
108     #pragma GCC diagnostic ignored "-Wtautological-pointer-compare"<br>
109     <br>
>>>     CID 1470570:    (PARSE_ERROR)<br>
>>>     expression must be an integral constant expression<br>
110     RTEMS_STATIC_ASSERT(<br>
111       CONFIGURE_INIT_TASK_ENTRY_POINT != NULL,<br>
112       CONFIGURE_INIT_TASK_ENTRY_POINT_MUST_NOT_BE_NULL<br>
113     );<br>
114     <br>
115     #pragma GCC diagnostic pop<br>
<br>
<br>
________________________________________________________________________________________________________<br>
To view the defects in Coverity Scan visit, <a href="https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50ypUUzi-2FdSNmuyRB7BEFT8xQ4-2B8hpujh0hTgQljRGId4Dg-3D-3DQoso_NXfCUf1CLFYLbjXajJIgHlbL5qYn95oel6MvjPauKObduhXPexAzfKX6jsO7er2hdt7mLsPf0-2BXS5HnRA5pW30MNjlaaFQEYCYCMg96r853K06s3gi9LqIWWlUUUfi3rJcv0KJzC5K2ip4-2FvxreJHCA73al8f3y7oipOLr-2BfvAi2Ga39-2F-2FvVNrqQXvFVplDho9gSB1VkeBJYJWCeLSkXVy9toULwXMzhJQ6KVJpOPRk-3D" rel="noreferrer" target="_blank">https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50ypUUzi-2FdSNmuyRB7BEFT8xQ4-2B8hpujh0hTgQljRGId4Dg-3D-3DQoso_NXfCUf1CLFYLbjXajJIgHlbL5qYn95oel6MvjPauKObduhXPexAzfKX6jsO7er2hdt7mLsPf0-2BXS5HnRA5pW30MNjlaaFQEYCYCMg96r853K06s3gi9LqIWWlUUUfi3rJcv0KJzC5K2ip4-2FvxreJHCA73al8f3y7oipOLr-2BfvAi2Ga39-2F-2FvVNrqQXvFVplDho9gSB1VkeBJYJWCeLSkXVy9toULwXMzhJQ6KVJpOPRk-3D</a><br>
<br>
  To manage Coverity Scan email notifications for "<a href="mailto:gedare@gwmail.gwu.edu" target="_blank">gedare@gwmail.gwu.edu</a>", click <a href="https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yped04pjJnmXOsUBtKYNIXxkxN7gn3yK5ofbuH1ptBFYw9YgpazuIaA-2BBUVKiHj8oV-2B8VTkzFKFnUmsUyw0Q9nyW7WjK2N4nPgBbDLb1fKVuS61T4CLxLpVJMj16z2MR2k-3DfLlk_NXfCUf1CLFYLbjXajJIgHlbL5qYn95oel6MvjPauKObduhXPexAzfKX6jsO7er2hkl-2Fz3PxTuWKbib5pSdrYhFcMwwTQMmLWHWFFVK1o1yTFlpCa4PAXf8ONXr-2B5hqyFvFLjdqvBd1pguBfVv0jrWl9OKawq7XISLIbWTsyNgXacfi1S5KxyRLzvyLgJz4LIRUtGzoxzHZRfQp8hWV9wsMS20-2FrbDJ8kxOqkS24MAJY-3D" rel="noreferrer" target="_blank">https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yped04pjJnmXOsUBtKYNIXxkxN7gn3yK5ofbuH1ptBFYw9YgpazuIaA-2BBUVKiHj8oV-2B8VTkzFKFnUmsUyw0Q9nyW7WjK2N4nPgBbDLb1fKVuS61T4CLxLpVJMj16z2MR2k-3DfLlk_NXfCUf1CLFYLbjXajJIgHlbL5qYn95oel6MvjPauKObduhXPexAzfKX6jsO7er2hkl-2Fz3PxTuWKbib5pSdrYhFcMwwTQMmLWHWFFVK1o1yTFlpCa4PAXf8ONXr-2B5hqyFvFLjdqvBd1pguBfVv0jrWl9OKawq7XISLIbWTsyNgXacfi1S5KxyRLzvyLgJz4LIRUtGzoxzHZRfQp8hWV9wsMS20-2FrbDJ8kxOqkS24MAJY-3D</a><br>
<br>
</div></div></div>
</div></div>