Coverity analysis defect 171938: Dereference after null check

XMLWordPrintableJSON

    • Query Execution
    • Fully Compatible
    • ALL
    • QE 2025-03-31
    • None
    • 3
    • 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/bazel_cache/1de52aaeb35278243ca29a4785ce7969/execroot/_main_/src/mongo/db/query/plan_executor_sbe.cpp:158: FORWARD_NULL 171938 Calling "this->_solution.operator bool()" implies that "this->_solution" might be null-like.
      /data/bazel_cache/1de52aaeb35278243ca29a4785ce7969/execroot/_main_/src/mongo/db/query/plan_executor_sbe.cpp:162: FORWARD_NULL 171938 "this->_solution.get()" returns the managed object of "this->_solution".

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

                Created:
                Updated:
                Resolved: