Coverity analysis defect 173574: Dereference after null check

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Works as Designed
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Catalog and Routing
    • ALL
    • CAR Team 2025-05-26
    • 1
    • 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/12589613ae961649d349d5c17866df2a/bazel_cache/c5778557a13dc68b3dc104090c678ab1/execroot/_main/src/mongo/db/catalog/index_key_validate.cpp:403: FORWARD_NULL 173574 Comparing "opCtx" to null implies that "opCtx" might be null.

            Assignee:
            Robert Sander (Inactive)
            Reporter:
            Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: