[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