[PATCH] D132142: [analyzer] Prefer wrapping SymbolicRegions by ElementRegions

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Aug 19 02:21:37 PDT 2022


xazax.hun added a comment.

I agree with @steakhal. Getting rid of element regions might be a lot of work and might have a lot of fallout that we need to deal with. I think we should not block a fix for something that we might not be able to land for a long time.  Fixing this here, and independently start working on the long-term solutions sounds reasonable to me. At least once we switch over, we will have test coverage for all of the cases that used to be problematic :)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D132142/new/

https://reviews.llvm.org/D132142



More information about the cfe-commits mailing list