Coverity analysis defect 122131: Dereference after null check

XMLWordPrintableJSON

    • Fully Compatible
    • ALL
    • Execution Team 2022-06-27
    • 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
      /src/mongo/db/concurrency/lock_state.cpp:375: FORWARD_NULL 122131 Comparing "opCtx" to null implies that "opCtx" might be null.

        1. Screen Shot 2022-04-22 at 8.57.00 AM.png
          190 kB
          Kyle Suarez

            Assignee:
            Jordi Olivares Provencio
            Reporter:
            Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: