@@ -3425,7 +3425,7 @@ public:
result_set.add (sval);
}
- void visit_unaryop_svalue (const unaryop_svalue *sval)
+ void visit_unaryop_svalue (const unaryop_svalue *sval) final override
{
const svalue *arg = sval->get_arg ();
if (result_set.contains (arg))
@@ -3449,7 +3449,7 @@ public:
}
}
- void visit_repeated_svalue (const repeated_svalue *sval)
+ void visit_repeated_svalue (const repeated_svalue *sval) final override
{
sval->get_inner_svalue ()->accept (this);
if (result_set.contains (sval->get_inner_svalue ()))
@@ -919,7 +919,8 @@ public:
const svalue *get_byte_offset () const { return m_byte_offset; }
bool get_relative_concrete_offset (bit_offset_t *out) const final override;
- const svalue * get_byte_size_sval (region_model_manager *mgr) const;
+ const svalue * get_byte_size_sval (region_model_manager *mgr)
+ const final override;
private: