Coverity analysis defect 146553: Dereference after null check

XMLWordPrintableJSON

    • Query Execution
    • Fully Compatible
    • ALL
    • QE 2025-09-01
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Dereference after null check

      Either the check against null is unnecessary, or there may be a null pointer dereference. Pointer is checked against null but then dereferenced anyway
      /data/mci/9292c3def3822c0dfd66af88847bcc64/bazel_cache/004acac643584f695e6309f72694e5ad/execroot/_main/src/mongo/db/query/plan_executor_sbe.cpp:168: FORWARD_NULL 146553 Calling "this->_solution.operator bool()" implies that "this->_solution" might be null-like.
      /data/mci/9292c3def3822c0dfd66af88847bcc64/bazel_cache/004acac643584f695e6309f72694e5ad/execroot/_main/src/mongo/db/query/plan_executor_sbe.cpp:172: FORWARD_NULL 146553 "this->_solution.get()" returns the managed object of "this->_solution".

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

              Created:
              Updated:
              Resolved: