mboehme added a comment. In D152813#4420471 <https://reviews.llvm.org/D152813#4420471>, @gribozavr2 wrote:
> In D152813#4420448 <https://reviews.llvm.org/D152813#4420448>, @mboehme wrote: > >> We would expect analysis of this code to converge too -- right? > > Yes - but we might need universal top values for that? maybe? Ah, I see what you mean. Anyway, I'll look at producing "reproducible" `Value`s for the same integer. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D152813/new/ https://reviews.llvm.org/D152813 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
