li.zhe.hua added inline comments.
================ Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h:166 + + // The second-choice implementation: `transferBranch` is implemented. No-op. + template <typename Analysis> ---------------- I think this is missing a word. ================ Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h:227 + /// Widens the environment point-wise, using `PrevEnv` as needed to inform the + /// approximation. by taking the intersection of storage locations and values + /// that are stored in them. Distinct values that are assigned to the same ---------------- Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D137948/new/ https://reviews.llvm.org/D137948 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
