ymandel added a comment. In D120890#3357438 <https://reviews.llvm.org/D120890#3357438>, @xazax.hun wrote:
> Is there anything special about `SourceLocation`s? I wonder whether we just > want a templated `PowerSet` lattice and instantiate it with `SourceLocation`s. Not really. Just that we use this lattice in a bunch of analyses for "unsafe access", like `std::optional` and `absl::Statusor` and (eventually) pointers. So, it seems generally useful as is. I agree that we should have core powerset lattice, its just that doing so will require a little more design effort (similar to the map lattice I added). Happy to add that as a FIXME (which we plan to start tacking with github issues soon!), if that sounds good to you. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D120890/new/ https://reviews.llvm.org/D120890 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
