projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dcf9ba8) | patch
[clang][dataflow] Relax `Environment` comparison operation.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 24 May 2022 18:45:59 +0000 (18:45 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 24 May 2022 20:58:18 +0000 (20:58 +0000)
commit2f93bbb9cd7c20ea1a273cf652d852d4b641f94a
tree8311fdfbdabfe16470abff8e9b58328ab303f358tree | snapshot
parentdcf9ba82d99c2b4625b2e0c00c44a469048f2827commit | diff
[clang][dataflow] Relax `Environment` comparison operation.

Ignore `MemberLocToStruct` in environment comparison. As an ancillary data
structure, including it is redundant. We also can generate environments which
differ in their `MemberLocToStruct` but are otherwise equivalent.

Differential Revision: https://reviews.llvm.org/D126314
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp diff | blob | history
Domain: System / Toolchain;