RedDocMD added a comment. In D104616#2834770 <https://reviews.llvm.org/D104616#2834770>, @xazax.hun wrote:
> In D104616#2834714 <https://reviews.llvm.org/D104616#2834714>, @NoQ wrote: > >> Why not simply delegate this job to `assume(evalBinOp(...))` over raw >> pointer values, which already has all this logic written down nicely? > > This is what I had in mind, I just did not want to spoil it :) Looks like I have wasted a good deal of effort. :( Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D104616/new/ https://reviews.llvm.org/D104616 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits