steakhal added a comment.

I spent some time on this patch. But I'm left thinking about why we need the 
extra indirection?
Couldn't we just use a `std::pair<sym,width>` pair as a key instead?
You mention //effective// bitwidths in your summary, but the code does not 
mention this concept.
Maybe you could elaborate on what //effective// bitwidth means in this context 
and how this changes the eqclass lookups.
In addition to this, I'd be curious about an informal proof of the correctness.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138319

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
  • [PATCH] D138319: [analyzer]... Denys Petrov via Phabricator via cfe-commits
    • [PATCH] D138319: [anal... Balázs Benics via Phabricator via cfe-commits

Reply via email to