[clang] [clang][dataflow] Strengthen pointer comparison. (PR #75170)

[Gábor Horváth via cfe-commits]

================
@@ -3893,6 +3893,66 @@ TEST(TransferTest, BooleanInequality) {
       });
 }
 
+TEST(TransferTest, PointerEquality) {
----------------
Xazax-hun wrote:

I think it would be great to add a test case with union members to document the limitation. 

https://github.com/llvm/llvm-project/pull/75170