[clang] [analyzer] Wrap SymbolicRegions by ElementRegions before getting a FieldRegion (PR #85211)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Mon Mar 18 06:53:14 PDT 2024
steakhal wrote:
> I think it's good that we're moving towards establishing the invariant that the parent of a FieldRegion should always be a typed value region (of a suitable type) for the sake of consistency. Do I understand it correctly that this is not too far away? Would it be possible to add an `assert` that mandates this?
I'm not sure. I have not investigated this, and I fear, even if I could run it on a bunch of projects - we could still potentially miss one case where it wouldn't hold. IDK.
https://github.com/llvm/llvm-project/pull/85211
More information about the cfe-commits
mailing list