[PATCH] D135964: [clang][dataflow] Add `operator==` for `Value` type.

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

xazax.hun accepted this revision.
xazax.hun added inline comments.
This revision is now accepted and ready to land.


================
Comment at: clang/lib/Analysis/FlowSensitive/Value.cpp:37
+                             areEquivalentIndirectionValues(Val1, Val2)) &&
+                            Val1.Properties == Val2.Properties);
+}
----------------
I started to wonder, is it always the case that we want properties to be part of the identity for values? Especially when we have multiple checks collaborating in the same fixed-point iteration, the properties added by one check might not be interesting for the others, and influencing what values are considered equal is a way to "leak" this information between checks.

Feel free to leave it as is for now, I just wanted to make sure we think about this at some point in the future :)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D135964/new/

https://reviews.llvm.org/D135964