diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-08-24 10:24:38 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-08-24 10:24:38 -0400 |
| commit | 603bdf906af6d42ce0dabee86efc1e0aec0f1900 (patch) | |
| tree | 00867500e607395239375e4b36b1bc4205e2de92 /gcc/analyzer | |
| parent | 0ae07a7203dd24f90e49d025046e61ef90a9fd18 (diff) | |
| download | gcc-603bdf906af6d42ce0dabee86efc1e0aec0f1900.zip gcc-603bdf906af6d42ce0dabee86efc1e0aec0f1900.tar.gz gcc-603bdf906af6d42ce0dabee86efc1e0aec0f1900.tar.bz2 | |
analyzer: eliminate region_model::get_string_size [PR105899]
gcc/analyzer/ChangeLog:
PR analyzer/105899
* region-model.cc (region_model::get_string_size): Delete both.
* region-model.h (region_model::get_string_size): Delete both
decls.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/region-model.cc | 29 | ||||
| -rw-r--r-- | gcc/analyzer/region-model.h | 3 |
2 files changed, 0 insertions, 32 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index cc8d895..1fe66f4 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -2794,35 +2794,6 @@ region_model::get_capacity (const region *reg) const return m_mgr->get_or_create_unknown_svalue (sizetype); } -/* Return the string size, including the 0-terminator, if SVAL is a - constant_svalue holding a string. Otherwise, return an unknown_svalue. */ - -const svalue * -region_model::get_string_size (const svalue *sval) const -{ - tree cst = sval->maybe_get_constant (); - if (!cst || TREE_CODE (cst) != STRING_CST) - return m_mgr->get_or_create_unknown_svalue (size_type_node); - - tree out = build_int_cst (size_type_node, TREE_STRING_LENGTH (cst)); - return m_mgr->get_or_create_constant_svalue (out); -} - -/* Return the string size, including the 0-terminator, if REG is a - string_region. Otherwise, return an unknown_svalue. */ - -const svalue * -region_model::get_string_size (const region *reg) const -{ - const string_region *str_reg = dyn_cast <const string_region *> (reg); - if (!str_reg) - return m_mgr->get_or_create_unknown_svalue (size_type_node); - - tree cst = str_reg->get_string_cst (); - tree out = build_int_cst (size_type_node, TREE_STRING_LENGTH (cst)); - return m_mgr->get_or_create_constant_svalue (out); -} - /* If CTXT is non-NULL, use it to warn about any problems accessing REG, using DIR to determine if this access is a read or write. Return TRUE if an OOB access was detected. diff --git a/gcc/analyzer/region-model.h b/gcc/analyzer/region-model.h index 9c6e60b..41df188 100644 --- a/gcc/analyzer/region-model.h +++ b/gcc/analyzer/region-model.h @@ -469,9 +469,6 @@ class region_model const svalue *get_capacity (const region *reg) const; - const svalue *get_string_size (const svalue *sval) const; - const svalue *get_string_size (const region *reg) const; - bool replay_call_summary (call_summary_replay &r, const region_model &summary); |