[clang] [NFC][analyzer] Improve tracking of the current Block & LocCtx (PR #185107)

[Balázs Benics via cfe-commits]

https://github.com/steakhal commented:

Looking at the diff I think it might be marginally better than what we had before but I'm still really unhappy with how local reasoning techniques can be applied.
I'll admit that I don't really have the bandwidth to propose constructive feedback for alternatives. I''m sure you have considered some but in case you didn't then:

How could we ensure at compile-time that these global-like variables are kept in sync across the handlers?

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