martong added a comment.

> This problem only exists if we traverse a CFGBlock in order. And Liveness in 
> fact does it reverse order. So a distinct pass is indeed unnecessary, we can 
> note the appearance of the assignment by the time we reach the variable.

Should this patch depend on https://reviews.llvm.org/D87519?



================
Comment at: clang/include/clang/Analysis/CFG.h:1311
+
+  llvm::iterator_range<iterator> nodes() { return *this; }
+  llvm::iterator_range<const_iterator> const_nodes() const { return *this; }
----------------
Do we convert `this` to `CFGBlock *Entry` here? If yes, please comment it there 
in the code, so others should not be forced to dig up the first data member. 
(If no then this code is hard to understand.)

Even better, why not `return *Entry`?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D87518

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to