From b2cd145ac91e9062f32d9a3e839e297efe9c0baa Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 12 Jun 2025 11:29:29 +0000 Subject: [PATCH] Value set: remove array-of-array special case There should not be a need for `get_reference_set` to consider array-of-array typed expressions to have an unknown offset when others firmly have offset zero. --- src/pointer-analysis/value_set.cpp | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp index 626777ec8bf..e1c92533edc 100644 --- a/src/pointer-analysis/value_set.cpp +++ b/src/pointer-analysis/value_set.cpp @@ -1352,14 +1352,7 @@ void value_sett::get_reference_set_rec( exprt l1_expr = is_ssa_expr(expr) ? remove_level_2(to_ssa_expr(expr)) : expr; - if( - expr.type().id() == ID_array && - to_array_type(expr.type()).element_type().id() == ID_array) - { - insert(dest, l1_expr); - } - else - insert(dest, l1_expr, from_integer(0, c_index_type())); + insert(dest, l1_expr, from_integer(0, c_index_type())); return; }