tree 50d0c0174b5c7929ff9e354b95d5c37c18356d25
parent 6bb6922de92d8413321f57f74769380c6b6f45ee
author T-Gruber <100079402+T-Gruber@users.noreply.github.com> 1729850356 +0200
committer GitHub <noreply@github.com> 1729850356 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnG2v0CRC1aQ7uu5UhlAAAhNsQAFRH3QXLZpfyIfyplWYpYQ3/
 TEHEx4Pfm2TeTdF3+fljpqnjJGgCWajJS7LD2Le/IILne+SkR8L4kq60pIO0Bmt/
 q5sOD336OcJDjcO5Pjt78CcvOeKHlcrgqjKk/dw2CTqaxPDR6Vsl9MTEMzn49u0y
 gwPbq9yebA4ugl/IDcZm1FCnJorKi9wWY9UYLV6TKL7RJiCRaUQ5/z2jz+n1iWKH
 MVApeZTRFXc1T8yaB33g5Cqj551qXFbz6rc1lGOYVZu4XUfcmFizObO3KrLv4ceS
 Ng+rBBlhUXVkGdOPpJ95dXcFUWvJF7IwLiBDJ4UMv0h58wy3KpTDasWKVZd55/az
 Wma6lWKTxverwx/fpyRTCIxKIOSn9rAyGz+CHD5GkMB8gmRGZm9SusJkqiDdHJPA
 cnkBYa8LhCh41h9nwHqtOix/iu6SF1F0e+3F2TVWysyP7PBZjj0cttjSVDQV5bqR
 cwCoPEY6g5peNlHbm/zlTll1oNJwiyVKFTRtFJIIWIiWc/JEUGWT0q3budHpE2Nc
 sbtk8cjE2iCGBhnivN13BS03xr4LN7V01OL8F/Ugo1olj9rsX7GKvYRAAFlEI+rw
 s7Z7lAjHgxfki/Ch0zSRaRGtR/2z3sGygH3cMbgQC3YA/ei6V+zRI3zNvTTm+gWe
 J69Ici5FvyJ7/F3IXuD9
 =+8/S
 -----END PGP SIGNATURE-----
 

[analyzer] Improve FieldRegion descriptive name (#112313)

The current implementation of MemRegion::getDescriptiveName fails for
FieldRegions whose SuperRegion is an ElementRegion. As outlined below:
```Cpp
struct val_struct { int val; };
extern struct val_struct val_struct_array[3];

void func(){
  // FieldRegion with ElementRegion as SuperRegion.
  val_struct_array[0].val;
}
```

For this special case, the expression cannot be pretty printed and must
therefore be obtained separately.