[PATCH] D120510: [clang][dataflow] Add limits to size of modeled data structures in environment.

[Gábor Horváth via Phabricator via cfe-commits]

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