How does clang-tidy decide whether there is a null pointer dereferencing? [closed]