Coverity analysis defect 155460: Logically dead code

XMLWordPrintableJSON

    • Query Execution
    • Fully Compatible
    • ALL
    • QE 2025-08-18
    • 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: