From 045637fc6e8065b658bf7b6f948019fbf7e647d0 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Mon, 15 Apr 2019 16:27:26 +0100 Subject: [PATCH] Make value_sett::field_sensitive a virtual method This is used out-of-tree as a customisation point. --- src/pointer-analysis/value_set.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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