Use read() for value_sett::object_mapt equality

romainbrenguier · romainbrenguier · commit 8a4fc2673b67 · 2019-05-24T14:35:31.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
@@ -224,7 +224,7 @@ class value_sett
       return
         identifier==other.identifier &&
         suffix==other.suffix &&
-        object_map==other.object_map;
+        object_map.read()==other.object_map.read();
     }
     bool operator!=(const entryt &other) const
     {

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