projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d72fcee) | patch
[clang][dataflow] Add equivalence relation `Value` type.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 14 Oct 2022 12:10:52 +0000 (12:10 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Wed, 19 Oct 2022 12:23:09 +0000 (12:23 +0000)
commit8cadac41e9f63b2494805042573792cc2cc2a8ea
tree164dc38779498a1a460f19a587fa7a24d57797cctree | snapshot
parentd72fcee8f47d54a68cab516d7f5a422ba48687f4commit | diff
[clang][dataflow] Add equivalence relation `Value` type.

Defines an equivalence relation on the `Value` type to standardize several
places in the code where we replicate the ~same equivalence comparison.

Differential Revision: https://reviews.llvm.org/D135964
clang/include/clang/Analysis/FlowSensitive/Value.h diff | blob | history
clang/lib/Analysis/FlowSensitive/CMakeLists.txt diff | blob | history
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp diff | blob | history
clang/lib/Analysis/FlowSensitive/Value.cpp [new file with mode: 0644] blob
clang/unittests/Analysis/FlowSensitive/CMakeLists.txt diff | blob | history
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/ValueTest.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;