[PATCH] D138037: [analyzer] Remove unjustified assertion from EQClass::simplify

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

I did not spend too much time thinking about this yet, but this sounds scary. I wonder if we should target the underlying problem instead, i.e., making sure we never have dead symbols as representatives for eq. classes. What do you think?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138037