[clang] [analyzer] Update the undefined assignment checker diagnostics to not use the term 'garbage' (PR #126596)

[David Tarditi via cfe-commits]

dtarditi wrote:

@haoNoQ I think sticking with uninitialized is good.  I've updated the patch with new error messages using that.   Please take a look at it and let me know what you think.  I think the right path is to issue a more precise error message for out-of-bounds reads.  As you point, we could do that by including the bounds checker as part of core checkers.   If that checker is too noisy for that, we could create a more limited version that covers the cases that are making it to this checker.  



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