[clang] [analyzer] Widen loops: Augment assignment note when values invalidated at the start of a loop (PR #122398)

[Balazs Benics via cfe-commits]

steakhal wrote:

I agree that it's important to augment the bug reports with information about the source of the symbols. Especially for conjured and derived symbols that are produced widely because of invalidations.
Loop widening is just one source of invalidation, and we could generalize it slightly.

Read this post of mine: https://discourse.llvm.org/t/memory-region-invalidation-tracking-improvements/62432
Unfortunately, I never got to implement it, but I'd be very happy as a reviewer to guide you through.

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