#3946: capture-support: Dead Code (CID #1461469 \)
----------------------------+-------------------------
Reporter: Joel Sherrill | Owner: Chris Johns
Type: defect | Status: assigned
Priority: normal | Milestone: 5.1
Component: lib | Version: 5
Severity: normal | Keywords:
Blocked By: | Blocking:
----------------------------+-------------------------
New report from Coverity. git blame says Chris.
{{{
316 /* Find the next record to print, the earliest recond on any core
*/
const: At condition this_time == 0ULL, the value of this_time must
be equal to 0.
dead_error_condition: The condition this_time == 0ULL must be
true.
CID 1461469 (#1 of 1): Logically dead code (DEADCODE)
dead_error_line: Execution cannot reach the expression cpu->rec.time <
this_time inside this statement: if (cpu->rec_valid && (this....
317 if ((cpu->rec_valid) && ((this_time == 0) || (cpu->rec.time <
this_time)))
318 {
319 rec_out = &cpu->rec;
320 cpu_out = i;
321 this_time = rec_out->time;
322 }
}}}
--
Ticket URL: <http://devel.rtems.org/ticket/3946>
RTEMS Project <http://www.rtems.org/>
RTEMS Project