`Value` comparison doesn't take properties into account.

[ymand]

Function areEquivalentValues doesn't account for differences in properties. This causes problems with analyses which use properties where values differing only in properties are considered equivalent.

llvm-project/clang/lib/Analysis/FlowSensitive/Value.cpp

Lines 29 to 33 in a01b58a

	bool areEquivalentValues(const Value &Val1, const Value &Val2) {
	return &Val1 == &Val2 || (Val1.getKind() == Val2.getKind() &&
	(isa<TopBoolValue>(&Val1) ||
	areEquivalentIndirectionValues(Val1, Val2)));
	}