Coverity analysis defect 175777: Logically dead code

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Unresolved
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Storage Engines, Storage Engines - Foundations
    • SE Foundations - Q3+ Backlog
    • 1

      Logically dead code

      The indicated dead code may have performed some action; that action will never occur. Code can never be reached because of a logical contradiction
      /bench/dhandle/bench_dhandle.c:554: DEADCODE 175777 Condition "n > 1", taking true branch. Now the value of "n" is at least 2.
      /bench/dhandle/bench_dhandle.c:555: DEADCODE 175777 Assigning: "i" = "n - 1".
      /bench/dhandle/bench_dhandle.c:555: DEADCODE 175777 At condition "i < 0", the value of "i" must be at least 1.
      /bench/dhandle/bench_dhandle.c:555: DEADCODE 175777 The condition "i < 0" cannot be true.
      /bench/dhandle/bench_dhandle.c:556: DEADCODE 175777 Execution cannot reach this statement: "r = (int)__wt_random(rnd);".

            Assignee:
            Unassigned
            Reporter:
            Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: