[all-commits] [llvm/llvm-project] 4dcc47: [clang][dataflow] Add parameterized map lattice.

Yitzhak Mandelbaum via All-commits all-commits at lists.llvm.org
Tue Jan 4 06:28:01 PST 2022

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4dcc47aaeaf015c4f1315a13a41819560b9946ab
  Author: Yitzhak Mandelbaum <yitzhakm at google.com>
  Date:   2022-01-04 (Tue, 04 Jan 2022)

  Changed paths:
    A clang/include/clang/Analysis/FlowSensitive/MapLattice.h
    M clang/unittests/Analysis/FlowSensitive/CMakeLists.txt
    A clang/unittests/Analysis/FlowSensitive/MapLatticeTest.cpp

  Log Message:
  [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

More information about the All-commits mailing list