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.