[clang] [analyzer] Never create Regions wrapping reference TypedValueRegions (NFCI) (PR #118096)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 29 08:23:41 PST 2024
NagyDonat wrote:
> The second is, how can we end up with such subregions. I think the only way is by field regions. If we had something that I missed, the assert would catch it.
Quick guesses: can we form a base or derived object subregion from them? Is there some hacky pathway where we create an element region to represent something that's not a real element access but something similar? (`ElementRegion` may mean 53 different things, I wouldn't be surprised if it can appear somehow...)
https://github.com/llvm/llvm-project/pull/118096
More information about the cfe-commits
mailing list