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

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 27 13:16:13 PST 2025


haoNoQ wrote:

Should we try to avoid calling the *value* uninitialized? Technically you initialize variables (or memory), not values. In the static analyzer terminology in particular, it's somewhat important that values are seen as immutable data that's temporarily associated with mutable memory. I think the rest of the static analyzer does an ok job making this distinction.

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


More information about the cfe-commits mailing list