Coverity analysis defect 155460: Logically dead code

XMLWordPrintableJSON

    • Query Execution
    • Fully Compatible
    • ALL
    • QE 2025-08-18
    • None
    • 3
    • TBD
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      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
      /data/mci/3b34054db808e84e865ea3adc167bb30/bazel_cache/8efb34a963653a257fe76e59a8ff65e9/execroot/_main/src/mongo/db/exec/sbe/vm/vm_builtin_array.cpp:255: DEADCODE 155460 Condition "exprTag == mongo::sbe::value::TypeTags::Nothing", taking false branch. Now the value of "exprTag" is at least 1.
      /data/mci/3b34054db808e84e865ea3adc167bb30/bazel_cache/8efb34a963653a257fe76e59a8ff65e9/execroot/_main/src/mongo/db/exec/sbe/vm/vm_builtin_array.cpp:260: DEADCODE 155460 At condition "exprTag == mongo::sbe::value::TypeTags::Nothing", the value of "exprTag" must be at least 1.
      /data/mci/3b34054db808e84e865ea3adc167bb30/bazel_cache/8efb34a963653a257fe76e59a8ff65e9/execroot/_main/src/mongo/db/exec/sbe/vm/vm_builtin_array.cpp:255: DEADCODE 155460 Condition "exprTag == mongo::sbe::value::TypeTags::Nothing", taking false branch. Now the value of "exprTag" cannot be equal to 0.
      /data/mci/3b34054db808e84e865ea3adc167bb30/bazel_cache/8efb34a963653a257fe76e59a8ff65e9/execroot/_main/src/mongo/db/exec/sbe/vm/vm_builtin_array.cpp:260: DEADCODE 155460 At condition "exprTag == mongo::sbe::value::TypeTags::Nothing", the value of "exprTag" cannot be equal to 0.
      /data/mci/3b34054db808e84e865ea3adc167bb30/bazel_cache/8efb34a963653a257fe76e59a8ff65e9/execroot/_main/src/mongo/db/exec/sbe/vm/vm_builtin_array.cpp:260: DEADCODE 155460 The condition "exprTag == mongo::sbe::value::TypeTags::Nothing" cannot be true.
      /data/mci/3b34054db808e84e865ea3adc167bb30/bazel_cache/8efb34a963653a257fe76e59a8ff65e9/execroot/_main/src/mongo/db/exec/sbe/vm/vm_builtin_array.cpp:261: DEADCODE 155460 Execution cannot reach this statement: "<temporary>.a = false;".

              Assignee:
              Drew Paroski
              Reporter:
              Coverity Collector User
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

                Created:
                Updated:
                Resolved: