Coverity analysis defect 175742: Redundant test

XMLWordPrintableJSON

    • Storage Engines, Storage Engines - Transactions
    • SE Transactions - 2025-08-29
    • 2

      Redundant test

      By the time the program execution reaches the test of this condition there is only one possible outcome for the test. The code at the destination of this branch is not dead, either because this condition is always true or because there is at least one other branch that reaches it. Test always evaluates the same
      /src/txn/txn.c:1421: DEADCODE 175742 At condition "resolve_case == 1", the value of "resolve_case" must be equal to 1.
      /src/txn/txn.c:1382: DEADCODE 175742 Jumping to case "1".
      /src/txn/txn.c:1315: DEADCODE 175742 Assigning: "resolve_case" = "1".
      /src/txn/txn.c:1421: DEADCODE 175742 The condition "resolve_case == 1" must be true.

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

                Created:
                Updated: