https://github.com/ymand approved this pull request.

I'm a little concerned with the complexity and cost required to support this 
optimization. With this added cost, do you know if the analysis still faster 
(and less SAT timeouts?) than if we just did the simple thing of not dropping 
state?

https://github.com/llvm/llvm-project/pull/82611
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to