[clang] [clang][dataflow] Fix crash on base-to-derived cast of unmodeled pointer value. (PR #179060)

[Yitzhak Mandelbaum via cfe-commits]

https://github.com/ymand requested changes to this pull request.

Did you encounter a concrete case that's crashing that led you to revisit the choice of the assertion? And, if so, can you expand on that in the PR description?

Also, please indicate why conjuring the value is better than simply leaving it as nullptr.

https://github.com/llvm/llvm-project/pull/179060