[PATCH] D123586: [clang][dataflow] Weaken abstract comparison to enable loop termination.

Wed Apr 13 12:16:41 PDT 2022

ymandel added a comment.

In D123586#3446956 <https://reviews.llvm.org/D123586#3446956>, @xazax.hun wrote:

> Yeah, this is a hard problem in general. This looks like a sensible workaround for the short term, but I'm looking forward to a better solution. I'm a bit worried that the memory model will need some upgrades to properly solve this problem.

Thanks for the quick review!  Yes, I have my concerns as well. It seems like some amount of a) additional allocation stabilization/memoization, b) introduction of explicit widening operator and c) structural comparison will fully solve the problem. Solving this properly is a high priority.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D123586