[
https://issues.apache.org/jira/browse/TS-5009?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Nathan Garabedian updated TS-5009:
----------------------------------
Labels: coverity (was: )
> CID 1022011 Logically dead code
> -------------------------------
>
> Key: TS-5009
> URL: https://issues.apache.org/jira/browse/TS-5009
> Project: Traffic Server
> Issue Type: Bug
> Components: Core
> Reporter: Nathan Garabedian
> Assignee: Nathan Garabedian
> Labels: coverity
> Time Spent: 10m
> Remaining Estimate: 0h
>
> TS_INLINE char &IOBufferReader::operator[](int64_t i)
> 686{
> 687 static char _error = '\0';
> 688 IOBufferBlock *b = block.get();
> 689
> 690 i += start_offset;
> cond_null: Condition b, taking false branch. Now the value of b is NULL.
> 691 while (b) {
> 692 int64_t bytes = b->read_avail();
> 693 if (bytes > i)
> 694 return b->start()[i];
> 695 i -= bytes;
> 696 b = b->next.get();
> 697 }
> 698
> 699 ink_assert(!"out of range");
> const: At condition !!b, the value of b must be equal to 0.
> null: At condition !!b, the value of b must be NULL.
> dead_error_condition: The condition !!b cannot be true.
> 700 if (unlikely(b)) {
>
> CID 1022011 (#1 of 1): Logically dead code (DEADCODE)
> dead_error_line: Execution cannot reach this statement: return b->start();.
> 701 return *b->start();
> 702 }
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
