[PATCH] D131809: [clang][dataflow] Add an option for context-sensitive depth

[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.

Once the Stanislav's comments are resolved, it looks good to me.



================
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:665
+    if (!(Options.ContextSensitiveOpts &&
+          Env.canDescend(Options.ContextSensitiveOpts->Depth, F)))
       return;
----------------
Alternatively, `canDescend` could get the optional `ContextSensitiveOpts` and we can do all the checking there. 


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D131809