[llvm] [llvm] Fix potential null dereference in IR/Verifier (PR #157458)

[Daniel Kuts via llvm-commits]

apach301 wrote:

> Kindly add a test, showing that this bug can actually be hit.

It was a static analyzer report, so I don't know how to run this code and have any input data. But the problem in this code is that 'SP' could be NULL - in previous if-statement it is checked on NULL. So it also shoulf be checked in current function

https://github.com/llvm/llvm-project/pull/157458