xazax.hun accepted this revision. xazax.hun added a comment. This revision is now accepted and ready to land.
> Very large structs still ground the analysis to a halt. I had similar experience in the past with analyses that tried to represent all values in structs eagerly. I think a better approach in general to make it as lazy as possible, so if a function does not access a field, never construct a representation for that in the memory. This patch looks good and we will likely see the need for such limits even with a lazy system to handle certain code patterns. Are there any plans to make this more lazy in the future? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D120510/new/ https://reviews.llvm.org/D120510 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
