projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd6d3e6) | patch
[clang][dataflow] Add parameterized map lattice.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 28 Dec 2021 19:34:26 +0000 (19:34 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 4 Jan 2022 14:27:15 +0000 (14:27 +0000)
commit4dcc47aaeaf015c4f1315a13a41819560b9946ab
tree16aac670b9d04706b21d731267eecd91a0ba8aabtree | snapshot
parentfd6d3e65dfc3ab444fae0a04f5afbe0f595ea541commit | diff
[clang][dataflow] Add parameterized map lattice.

This patchs adds a `MapLattice` template for lifting a lattice to a keyed map. A
typical use is for modeling variables in a scope with a partcular lattice.

Differential Revision: https://reviews.llvm.org/D116369
clang/include/clang/Analysis/FlowSensitive/MapLattice.h [new file with mode: 0644] blob
clang/unittests/Analysis/FlowSensitive/CMakeLists.txt diff | blob | history
clang/unittests/Analysis/FlowSensitive/MapLatticeTest.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;