Use read() for value_sett::object_mapt equality

romainbrenguier · romainbrenguier · commit 8cd09b34285f · 2019-05-24T18:07:52.000+01:00
The explicit definition of object_mapt equality was removed recently in pull request #4694 but it seems necessary when compiling with clang which would complain about it not being defined. Should fix #4699
diff --git a/src/pointer-analysis/value_set.h b/src/pointer-analysis/value_set.h
@@ -221,10 +221,9 @@ class value_sett
 
     bool operator==(const entryt &other) const
     {
-      return
-        identifier==other.identifier &&
-        suffix==other.suffix &&
-        object_map==other.object_map;
+      return identifier == other.identifier && suffix == other.suffix &&
+             (object_map.get_d() == other.object_map.get_d() ||
+              object_map.read() == other.object_map.read());
     }
     bool operator!=(const entryt &other) const
     {

Original file line number	Diff line number	Diff line change
`@@ -221,10 +221,9 @@ class value_sett`
`221`	`221`
`222`	`222`	`bool operator==(const entryt &other) const`
`223`	`223`	`{`
`224`		`- return`
`225`		`- identifier==other.identifier &&`
`226`		`- suffix==other.suffix &&`
`227`		`- object_map==other.object_map;`
	`224`	`+ return identifier == other.identifier && suffix == other.suffix &&`
	`225`	`+ (object_map.get_d() == other.object_map.get_d() \|\|`
	`226`	`+ object_map.read() == other.object_map.read());`
`228`	`227`	`}`
`229`	`228`	`bool operator!=(const entryt &other) const`
`230`	`229`	`{`