aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/analyzer/region-model.cc4
-rw-r--r--gcc/analyzer/region.h3
2 files changed, 4 insertions, 3 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc
index b05b709..b5bc3efd 100644
--- a/gcc/analyzer/region-model.cc
+++ b/gcc/analyzer/region-model.cc
@@ -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 ()))
diff --git a/gcc/analyzer/region.h b/gcc/analyzer/region.h
index 20dffc7..d37584b 100644
--- a/gcc/analyzer/region.h
+++ b/gcc/analyzer/region.h
@@ -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: