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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Like I vaguely mentioned in the thread, I'm really curious whether it's possible to canonicalize the *absence* of element regions instead, as it allows modeling pointer casts as no-op and avoids problems like D38797 <https://reviews.llvm.org/D38797> where results of even very basic operations are impossible to represent.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132142