[PATCH] D127502: [clang][dataflow] Don't `assert` full LHS coverage in `optional` model

[Yitzhak Mandelbaum via Phabricator via cfe-commits]

ymandel accepted this revision.
ymandel added a comment.
This revision is now accepted and ready to land.

Do I understand correctly that the test you added in D127434 <https://reviews.llvm.org/D127434> covers this change as well? (in that this change moves it from crashing to not crashing)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D127502/new/

https://reviews.llvm.org/D127502