Make value_sett::field_sensitive a virtual method

smowton · smowton · commit 045637fc6e80 · 2019-04-15T16:27:26.000+01:00
This is used out-of-tree as a customisation point.
diff --git a/src/pointer-analysis/value_set.h b/src/pointer-analysis/value_set.h
@@ -63,7 +63,9 @@ class value_sett
     return *this;
   }
 
-  static bool field_sensitive(const irep_idt &id, const typet &type);
+  /// Determines whether an identifier of a given type should have its fields
+  /// distinguished. Virtual so that subclasses can override this behaviour.
+  virtual bool field_sensitive(const irep_idt &id, const typet &type);
 
   /// Matches the location_number field of the instruction that corresponds
   /// to this value_sett instance in value_set_domaint's state map

Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,9 @@ class value_sett`
`63`	`63`	`return *this;`
`64`	`64`	`}`
`65`	`65`
`66`		`- static bool field_sensitive(const irep_idt &id, const typet &type);`
	`66`	`+ /// Determines whether an identifier of a given type should have its fields`
	`67`	`+ /// distinguished. Virtual so that subclasses can override this behaviour.`
	`68`	`+ virtual bool field_sensitive(const irep_idt &id, const typet &type);`
`67`	`69`
`68`	`70`	`/// Matches the location_number field of the instruction that corresponds`
`69`	`71`	`/// to this value_sett instance in value_set_domaint's state map`