[clang] [analyzer] Generalize MemRegion::getDescriptiveName (PR #213991)

Benedek Kaibas via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 5 04:01:08 PDT 2026


benedekaibas wrote:

@NagyDonat This is a great change, thank you so much! When I implemented the `getDescriptiveName()` for the lifetime checkers (currently in alpha stage) I faced the same issue:
> in cases when there was no exact name and Memregion::getDescriptiveName just returned an empty string.

I came up with the same `getRegionName` and I got the inspiration for that from the `ArrayBoundChecker`. 

Now the lifetime checkers can eliminate the wrapper as well which makes the code so much cleaner. Thanks for this change, it is so great!

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


More information about the cfe-commits mailing list