diff --git a/src/pointer-analysis/value_set.h b/src/pointer-analysis/value_set.h index c576f632fd9..dbaf1998cde 100644 --- 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