mboehme marked an inline comment as done. mboehme added inline comments.
================ Comment at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:356 + Member = cast<FieldDecl>(I); + MemberLoc = &cast<AggregateStorageLocation>(MemberLoc)->getChild(*Member); + } ---------------- gribozavr2 wrote: > Is there a chance that there will be no such child if we hit one of our > limits for modeling recursive data structures? Happily, this isn't a concern. `AggregateStorageLocation`s always contain the same set of fields (the ones that are "modeled", i.e. accessed in some way). And this is a nice invariant to have. Where we do the cutoff for modeling recursive data structures is that the storage location returned by `getChild()` may not have a `Value` associated with it. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D153852/new/ https://reviews.llvm.org/D153852 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
