Unverified Commit 86d479fd authored by T-Gruber's avatar T-Gruber Committed by GitHub
Browse files

Adapted MemRegion::getDescriptiveName to handle ElementRegions (#85104)

Fixes https://github.com/llvm/llvm-project/issues/84463



Changes:
- Adapted MemRegion::getDescriptiveName
- Added unittest to check name for a given clang::ento::ElementRegion
- Some format changes due to clang-format

---------

Co-authored-by: default avatarAndreas Steinhausen <andreas.steinhausen@concenrio.io>
Co-authored-by: default avatarBalazs Benics <benicsbalazs@gmail.com>
parent c8772940
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment