Dereference before null check
There may be a null pointer dereference, or else the comparison against null is unnecessary. All paths that lead to this null pointer comparison already dereference the pointer earlier
/data/mci/76c3f54a72fd69f47896950028d12866/bazel_cache/a66e96dcfafe8eff7b8a4acdb22a1846/execroot/_main/src/mongo/s/mongos_main.cpp:464: REVERSE_INULL 155104 Null-checking "serviceContext" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.