[PATCH] D121158: [clang][dataflow] Fix nullptr dereferencing error.

[Yitzhak Mandelbaum via Phabricator via cfe-commits]

ymandel added a comment.

In D121158#3365415 <https://reviews.llvm.org/D121158#3365415>, @xazax.hun wrote:

>> When pre-initializing fields in the environment, the code assumed that all fields of a struct would be initialized
>
> Was this assumption ever correct given that it was already skipping the initialization of recursive cases?

Yeah, I had that thought of that and I'm pretty sure it wasn't.  But that does provide a way to test this without creating a very large struct. Let me see if I can add a test to this patch. Otherwise, I'll write a followup.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D121158