[clang][dataflow] Add support for (built-in) (in)equality operators
authorYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 25 Mar 2022 20:01:18 +0000 (20:01 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 1 Apr 2022 17:13:21 +0000 (17:13 +0000)
commitef1e1b3106a544389cf393647cda57b5b0642ef3
treead05297f225dab8d0e581528f7bba40f8f88fe37
parentc45975cbf96aad53f24c71f7e1a1549a275d245d
[clang][dataflow] Add support for (built-in) (in)equality operators

Adds logical interpretation of built-in equality operators, `==` and `!=`.s

Differential Revision: https://reviews.llvm.org/D122830
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp