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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits