[jira] [Assigned] (TS-5012) CID 1267812 Logically Dead Code

["Nathan Garabedian (JIRA)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/TS-5012?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Nathan Garabedian reassigned TS-5012:
-------------------------------------

    Assignee: Nathan Garabedian

> CID 1267812 Logically Dead Code
> -------------------------------
>
>                 Key: TS-5012
>                 URL: https://issues.apache.org/jira/browse/TS-5012
>             Project: Traffic Server
>          Issue Type: Bug
>          Components: Core
>            Reporter: Nathan Garabedian
>            Assignee: Nathan Garabedian
>
> 8void
> 189ConfigProcessor::release(unsigned int id, ConfigInfo *info)
> 190{
> 191  int idx;
> 192
>    	cond_at_least: Condition id != 0U, taking true branch. Now the value of id is at least 1.
>    	cond_cannot_single: Condition id != 0U, taking true branch. Now the value of id cannot be equal to 0.
> 193  ink_assert(id != 0);
>    	cond_between: Condition id <= 100U, taking true branch. Now the value of id is between 1 and 100.
> 194  ink_assert(id <= MAX_CONFIGS);
> 195
>    	between: At condition id == 0U, the value of id must be between 1 and 100.
>    	cannot_single: At condition id == 0U, the value of id cannot be equal to 0.
>    	dead_error_condition: The condition id == 0U cannot be true.
>    	cond_between: Condition id == 0U, taking false branch. Now the value of id is between 1 and 100.
>    	between: At condition id > 100U, the value of id must be between 1 and 100.
>    	cannot_single: At condition id > 100U, the value of id cannot be equal to 0.
>    	dead_error_condition: The condition id > 100U cannot be true.
> 196  if (id == 0 || id > MAX_CONFIGS) {
> 197    // nothing to delete since we have an invalid index
>    	
> CID 1267812 (#1 of 1): Logically dead code (DEADCODE)
> dead_error_line: Execution cannot reach this statement: return;.
> 198    return;
> 199  }
> 200



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)