[PATCH] D159355: [clang][dataflow] Unsoundly treat "Unknown" as "Equivalent" in widening.
Yitzhak Mandelbaum via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Sep 6 13:25:32 PDT 2023
ymandel added a comment.
In D159355#4640054 <https://reviews.llvm.org/D159355#4640054>, @xazax.hun wrote:
> Sorry for the late review. This looks good to me, but I hope we will be able to undo it soon :)
Thanks! Np, and agreed. I think we have a clear path towards dropping the unsoundness altogether. Up next. :)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D159355/new/
https://reviews.llvm.org/D159355
More information about the cfe-commits
mailing list