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

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to