<div dir="ltr">Another report from Coverity which shows more were introduced recently.<div><br></div><div>Unfortunately, their web UI doesn't help here. Per that, the most recently "first detected" is from March and is in the jffs2 gc.c file:</div><div><br></div><div><div id="gmail-main-source-line-135" class="gmail-source-line" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px"><span class="gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">135</span></div><div class="event-wrapper" style="white-space:nowrap;color:rgb(71,71,71);font-family:"Helvetica Neue",Helvetica,Arial,"Lucida Grande",sans-serif;font-size:12px"><div class="event-row" style="display:table-row"><span class="gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:table-cell;font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace">   </span><div id="gmail-defect-event-53162288-0" class="event-header gmail-with-event gmail-code-event event-set-0 gmail-grouped-event" style="background-color:rgb(252,242,238);color:rgb(221,68,34);overflow:hidden;padding:2px 2px 2px 25px;white-space:normal;display:table-cell;background-position:1px 2px;background-repeat:no-repeat;border:1px solid transparent;background-image:none"><span class="event-tag" style="font-weight:700">const:</span> <span class="gmail-description">At condition ({...; 0;}), the value of ({...; 0;}) must be equal to 0.</span></div></div></div><div class="event-wrapper" style="white-space:nowrap;color:rgb(71,71,71);font-family:"Helvetica Neue",Helvetica,Arial,"Lucida Grande",sans-serif;font-size:12px"><div class="event-row" style="display:table-row"><span class="gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:table-cell;font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace">   </span><div id="gmail-defect-event-53162288-1" class="event-header gmail-with-event gmail-code-event event-set-0 gmail-grouped-event" style="background-color:rgb(252,242,238);color:rgb(221,68,34);overflow:hidden;padding:2px 2px 2px 25px;white-space:normal;display:table-cell;background-position:1px 2px;background-repeat:no-repeat;border:1px solid transparent;background-image:none"><span class="event-tag" style="font-weight:700">null:</span> <span class="gmail-description">At condition ({...; 0;}), the value of ({...; 0;}) must be NULL.</span></div></div></div><div class="event-wrapper" style="white-space:nowrap;color:rgb(71,71,71);font-family:"Helvetica Neue",Helvetica,Arial,"Lucida Grande",sans-serif;font-size:12px"><div class="event-row" style="display:table-row"><span class="gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:table-cell;font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace">   </span><div id="gmail-defect-event-53162288-2" class="event-header gmail-with-event gmail-code-event event-set-0 gmail-grouped-event" style="background-color:rgb(252,242,238);color:rgb(221,68,34);overflow:hidden;padding:2px 2px 2px 25px;white-space:normal;display:table-cell;background-position:1px 2px;background-repeat:no-repeat;border:1px solid transparent;background-image:none"><span class="event-tag" style="font-weight:700">dead_error_condition:</span> <span class="gmail-description">The condition ({...; 0;}) cannot be true.</span></div></div></div><div id="gmail-main-source-line-136" class="gmail-source-line gmail-with-event gmail-code-event event-set-0 gmail-grouped-event" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px"><span class="gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="gmail-impact-date"></span><span class="gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">136</span>        <span class="gmail-keyword" style="font-weight:700">if</span> (<span id="gmail-xref-2250165955-0-2" class="gmail-xref gmail-xref-559738275" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">mutex_lock_interruptible</span>(&<span id="gmail-xref-L-9064522-1162-2" class="gmail-xref gmail-xref-L-9064522-18" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">c</span>-><span id="gmail-xref-2250165975-3-7" class="gmail-xref gmail-xref-559738110" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">alloc_sem</span>))</div><div class="event-wrapper" style="white-space:nowrap;color:rgb(71,71,71);font-family:"Helvetica Neue",Helvetica,Arial,"Lucida Grande",sans-serif;font-size:12px"><div class="event-row" style="display:table-row"><span class="gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:table-cell;font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace">   </span><div id="gmail-defect-event-53162288-3" class="event-header gmail-with-event gmail-main-event gmail-code-event event-set-0 gmail-medium-impact-event gmail-selected-event gmail-grouped-event" style="background-color:rgb(252,242,238);color:rgb(221,68,34);overflow:hidden;padding:2px 2px 2px 25px;white-space:normal;display:table-cell;background-position:1px 2px;background-repeat:no-repeat;border:1px solid rgb(125,154,170);background-image:url("../../images/sourcebrowser/marker-code-main-event.png")"><span class="gmail-defect-text" style="display:block;margin-bottom:2px">CID 1523448 (#1 of 1): Logically dead code (DEADCODE)</span><span class="event-tag" style="font-weight:700">dead_error_line:</span> <span class="gmail-description">Execution cannot reach this statement: return -4;.</span></div></div></div><div id="gmail-main-source-line-137" class="gmail-source-line gmail-with-event gmail-main-event gmail-code-event event-set-0 gmail-grouped-event" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px"><span class="gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="gmail-impact-date"></span><span class="gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">137</span>                <span class="gmail-keyword" style="font-weight:700">return</span> -<span id="gmail-xref-2224032152-0-2" class="gmail-xref gmail-xref-537438464" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">EINTR</span>;</div></div><div><br></div><div><br>I have no idea what the other new issues are. :(</div><div><br></div><div>Anyone else figure it out?</div><div><br></div><div>--joel</div><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <span dir="auto"><<a href="mailto:scan-admin@coverity.com">scan-admin@coverity.com</a>></span><br>Date: Wed, May 10, 2023 at 12:21 AM<br>Subject: Coverity Scan: Analysis completed for RTEMS<br>To:  <<a href="mailto:joel.sherrill@gmail.com">joel.sherrill@gmail.com</a>><br></div><br><br><br>
    Your request for analysis of RTEMS has been completed successfully.<br>
    The results are available at <a href="https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50ypUUzi-2FdSNmuyRB7BEFT8xQ81HXwCHW32Mihy8bA1BUtQ-3D-3DXv8Q_CTvEjVoKhyc6dLmJJo1u9AYIk8P8bcAbCPbBDYvYSXoRifeznD-2F20WffDcjOQq9n9YY3b15WgQq2UkJA9ViPExfgcVwXhZXGPGFnc9PYG7sRlBvtviauPdHuZJFG9b7rIf-2BcTbfFQ4JEBqB1T6zPz-2FByDFBGY0O6oRlmhA-2FceIOeYLAC-2BNXNkd4ZpyVBJ7TnQsoXXsJLCXVaSnKyQJeU0ioEiJFKWLRoEno1Cr-2BeEa8-3D" rel="noreferrer" target="_blank">https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50ypUUzi-2FdSNmuyRB7BEFT8xQ81HXwCHW32Mihy8bA1BUtQ-3D-3DXv8Q_CTvEjVoKhyc6dLmJJo1u9AYIk8P8bcAbCPbBDYvYSXoRifeznD-2F20WffDcjOQq9n9YY3b15WgQq2UkJA9ViPExfgcVwXhZXGPGFnc9PYG7sRlBvtviauPdHuZJFG9b7rIf-2BcTbfFQ4JEBqB1T6zPz-2FByDFBGY0O6oRlmhA-2FceIOeYLAC-2BNXNkd4ZpyVBJ7TnQsoXXsJLCXVaSnKyQJeU0ioEiJFKWLRoEno1Cr-2BeEa8-3D</a><br>
<br>
    Build ID: 531257<br>
<br>
    Analysis Summary:<br>
       New defects found: 7<br>
       Defects eliminated: 2<br>
<br>
    If you have difficulty understanding any defects, email us at <a href="mailto:scan-admin@coverity.com" target="_blank">scan-admin@coverity.com</a>,<br>
    or post your question to StackOverflow<br>
    at <a href="https://u15810271.ct.sendgrid.net/ls/click?upn=CTPegkVN6peWFCMEieYYmPWIi1E4yUS9EoqKFcNAiqhRq8qmgeBE-2Bdt3uvFRAFXd-2FlwX83-2FVVdybfzIMOby0qA-3D-3DL7H2_CTvEjVoKhyc6dLmJJo1u9AYIk8P8bcAbCPbBDYvYSXoRifeznD-2F20WffDcjOQq9n9YY3b15WgQq2UkJA9ViPEwm9NBJLNJpsLlYV23pZJZjFv6g-2FvK8QA-2BPJxaoHD5cz0Kuq95gJ7rRS2xSXTSYrKAq5pHKcRcWUiDMT5YfrWrt4Ovg36hvRxUGQU-2FFaIJocQZt8H0vuqPxeJqF6FLYuLT5twSijVMDx3KS10MNZmIo-3D" rel="noreferrer" target="_blank">https://u15810271.ct.sendgrid.net/ls/click?upn=CTPegkVN6peWFCMEieYYmPWIi1E4yUS9EoqKFcNAiqhRq8qmgeBE-2Bdt3uvFRAFXd-2FlwX83-2FVVdybfzIMOby0qA-3D-3DL7H2_CTvEjVoKhyc6dLmJJo1u9AYIk8P8bcAbCPbBDYvYSXoRifeznD-2F20WffDcjOQq9n9YY3b15WgQq2UkJA9ViPEwm9NBJLNJpsLlYV23pZJZjFv6g-2FvK8QA-2BPJxaoHD5cz0Kuq95gJ7rRS2xSXTSYrKAq5pHKcRcWUiDMT5YfrWrt4Ovg36hvRxUGQU-2FFaIJocQZt8H0vuqPxeJqF6FLYuLT5twSijVMDx3KS10MNZmIo-3D</a><br>
</div></div></div>