From db5b01d282a0e3ddcac737e55f9758c8b081cf4b Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Thu, 4 Jan 2024 09:12:40 -0500 Subject: analyzer: handle arrays of unknown size in access diagrams [PR113222] gcc/analyzer/ChangeLog: PR analyzer/113222 * access-diagram.cc (valid_region_spatial_item::add_boundaries): Handle TYPE_DOMAIN being null. (valid_region_spatial_item::add_array_elements_to_table): Likewise. gcc/testsuite/ChangeLog: PR analyzer/113222 * gcc.dg/analyzer/out-of-bounds-diagram-pr113222.c: New test. Signed-off-by: David Malcolm --- gcc/analyzer/access-diagram.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/analyzer') diff --git a/gcc/analyzer/access-diagram.cc b/gcc/analyzer/access-diagram.cc index 25e6c92..9555ee8 100644 --- a/gcc/analyzer/access-diagram.cc +++ b/gcc/analyzer/access-diagram.cc @@ -1334,7 +1334,7 @@ public: logger->log ("showing first and final element in array type"); region_model_manager *mgr = m_op.m_model.get_manager (); tree domain = TYPE_DOMAIN (base_type); - if (TYPE_MIN_VALUE (domain) && TYPE_MAX_VALUE (domain)) + if (domain && TYPE_MIN_VALUE (domain) && TYPE_MAX_VALUE (domain)) { const svalue *min_idx_sval = mgr->get_or_create_constant_svalue (TYPE_MIN_VALUE (domain)); @@ -1364,7 +1364,7 @@ public: gcc_assert (m_boundaries != nullptr); tree domain = TYPE_DOMAIN (base_type); - if (!(TYPE_MIN_VALUE (domain) && TYPE_MAX_VALUE (domain))) + if (!(domain && TYPE_MIN_VALUE (domain) && TYPE_MAX_VALUE (domain))) return; const int table_y = 0; -- cgit v1.1