[clang] [clang][StaticAnalyzer] Crash on loop unrolling mode (PR #82089)

[via cfe-commits]

NagyDonat wrote:

If I understand it correctly, your change doesn't handle declarations that are in inner statements, e.g. the variable "x" in the following code:
```cpp
switch (get_value()) {
case 42:
  do {
    int x;
    // ...
  } while (running);
//...
}
```
Is this compatible with the goals of your commit, or would the original crash remain in a situation like this?

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