[PATCH] D116369: [clang][dataflow] Add parameterized map lattice.
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Dec 29 15:20:32 PST 2021
xazax.hun added inline comments.
================
Comment at: clang/include/clang/Analysis/FlowSensitive/MapLattice.h:92
+ /// entry as it was in the source map.
+ LatticeJoinEffect join(const MapLattice &Other) {
+ LatticeJoinEffect Effect = LatticeJoinEffect::Unchanged;
----------------
It looks like apart from the join operation the rest of the methods are simply forwarding to DenseMap. I was wondering if it would make more sense to make the framework support `join` as a free function (possibly using some custom type traits?) to avoid forcing the user to write wrappers like this.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D116369/new/
https://reviews.llvm.org/D116369
More information about the cfe-commits
mailing list