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

[via cfe-commits]

dgg5503 wrote:

Hi @steakhal ,

Thanks for providing such detailed answers to my questions! Given your response, I feel like the design of my implementation is on the right track, although feel free to critique it further when you have the chance. One thing I do need to look further into is applying this invalidation artifact to globals since, for my local loop-widening example, it doesn't seem to work.

No worries on the review, I've been caught up in other things this past week too. I hope to get back to this PR this week or next.

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