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

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Mon Feb 24 06:55:29 PST 2025


https://github.com/NagyDonat approved this pull request.

LGTM, I agree that "uninitialized" is a better phrasing -- it's shorter and explicitly names the "normal" reason for getting `UndefinedVal`s.

> 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.

Previously the array bound checker was very noisy, but now its "noise level" is comparable to e.g. `core.NullDereference`, so there is no blocking reason that keeps it out of `core`.

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


More information about the cfe-commits mailing list