From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from sonic302-20.consmr.mail.ir2.yahoo.com (sonic302-20.consmr.mail.ir2.yahoo.com [87.248.110.83]) by sourceware.org (Postfix) with ESMTPS id 683253898534 for ; Fri, 1 May 2020 12:36:01 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 683253898534 X-YMail-OSG: NjvlMukVM1lYJGhaaLXR83FtJjHYgjk.XxQAXXfDrLJFZ.PmzvYyH8GdEpHAjlb _UD2JS9JHdPzbiFiG7p.BeLV7xvH3y1S91Tr.PA1_odq8VTItP6APoe4FO1IOsVy7zXx8q9gvFWb gXcb1eD9Yrg0Rv6DUExKqYKba8gqnmM2IdsHwfkqoxPtNcBA2wD4Z2cYef90a_Ch6ZzEE1LXCP3l qgdq4sehiPwAGbynaiqHtJxQDYotX1DBYCBIdLpbw13jM58JEwVoOjM8sFgN7xWL94MpB6.B6Qo9 YvOIjGoGcO0DxXrD.ZbcrTvgtVyi5sCV.YaQbyYfzkEig9tdT5QYcRt02PuuEyicDPP6FOBLOJCs j1O8GgXfEJ5HsTOWLJG6jcJmb1tK0JWfmQ8vQIMVM1jBbtwbTVNd9LF8OtdJgeY3GNmLw5wzoR9H J_ghwMKKXJMKkCzhsQ2bHXQNp1mjcDqQwyYH2GS6Sfq83_IWa6qkTuV7IUkh8rkBmUD7Z4e0ueGi gJmKuCc2Vqjic6vZanAq2sJkOjOOyFRgJysZqB4HMDEDeEbQB2H3lnHUX7.gMI8XPB3x2Af1F1o4 wZBD6BQO7UNgM1suLeju5on_CPUgIELYFO_9tEGrE5z00tLsKBkqfhFGk6uPwFt5g57DZqLMIE3R UM0LykpP8VgMM.rrOg4Ax3uzxYTDIWP6PJdmHosb4ry15SIC1e.iSSfuWTdILwHVKgwecbnYb2tj wIq1KD_B1ajr3P1R8ztJEQR4XHk2iUSh7dnvasCKBSl0jdu7rZD6UipE5co7Lt_Yg0JXM9BvUmZ9 GRNesuYyUS9cggSJiTYBhXVEloLsMGbB44i0y9bckkzc__uI2Ynk3_Y.Xv3ts1OZhoef_Qvkoqlk 7IJIOQhLx2UX13Z1tKDgzMcUwOoLHOinBKLSxt6a4Nom6Lar_qDATUT2RfTRxQU_0.yuL0pIp6MI YMQvDFvufiG6ALGR9lr0x5_0_qhr_G7uDT_UwvWwDgCOXCixHllZEn7QFJUF9IJ442IeaEN5pTLT bh3k3zlKnFfDmPlxT72a2AOuNMScWAE6CtrMeQkoXH455_4mGYO0PjlPLijdlW9yyhowI71SoNK1 25KM7DO8nNmrhQsZBtDt.OaF7chq1fxPH927T3VLDC8regumlavIfSedgm5joy921d37d0f250y4 dho9zLa.N9e32CU8PiuWG9e_4S6MAEzOqkvSu2ZB6npN2AV8L5CDcUDhiRhvoO7_iGMxaAAfrOAx xfoAv.dtI2edGiGhUKl67GWqm9cA5j.EEeSNHTJWBhtbc.HrxxVVl6dLvBSqIfVEkofQxOinH59a j13eiwPDz2pNGH1jNMdd1u8QgC_xOO4B3rF5s4N6UywMhFnAREhcaBgdliiMKUrEqTfxqChfCYbI MXhZrLTTJC5v34.enTGyq9MoaRo3IsICn Received: from sonic.gate.mail.ne1.yahoo.com by sonic302.consmr.mail.ir2.yahoo.com with HTTP; Fri, 1 May 2020 12:36:00 +0000 Received: by smtp403.mail.ir2.yahoo.com (VZM Hermes SMTP Server) with ESMTPA ID 58a0943b3587ef09edf0c2e0b323e4f4; Fri, 01 May 2020 12:35:56 +0000 (UTC) From: Hannes Domani To: gdb-patches@sourceware.org Subject: [PATCH] Fix size recalculation of fortran arrays Date: Fri, 1 May 2020 14:35:18 +0200 Message-Id: <20200501123518.5907-1-ssbssa@yahoo.de> X-Mailer: git-send-email 2.26.2 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Antivirus: Avast (VPS 200430-2, 04/30/2020), Outbound message X-Antivirus-Status: Clean References: <20200501123518.5907-1-ssbssa.ref@yahoo.de> X-Spam-Status: No, score=-18.9 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 01 May 2020 12:36:12 -0000 My recent change regarding size calculation of arrays of stubbed types didn't take array strides and associated/allocated type properties into account, which basically broke fortran arrays. Fixed by refactoring the array size calculation of create_array_type_with_stride into a new function, and also use it for the stubbed array size recalculation. gdb/ChangeLog: 2020-05-01 Hannes Domani * gdbtypes.c (calculate_static_array_size): New function. (create_array_type_with_stride): Use calculate_static_array_size. (check_typedef): Likewise. --- gdb/gdbtypes.c | 130 ++++++++++++++++++++++++++----------------------- 1 file changed, 68 insertions(+), 62 deletions(-) diff --git a/gdb/gdbtypes.c b/gdb/gdbtypes.c index 6648dc4d67..ad5c7ee0af 100644 --- a/gdb/gdbtypes.c +++ b/gdb/gdbtypes.c @@ -1177,6 +1177,62 @@ discrete_position (struct type *type, LONGEST val, LONGEST *pos) } } +/* If the array has static bounds, calculate its size. */ + +static bool +calculate_static_array_size (struct type *type) +{ + gdb_assert (TYPE_CODE (type) == TYPE_CODE_ARRAY); + + struct type *range_type = TYPE_INDEX_TYPE (type); + + if (get_dyn_prop (DYN_PROP_BYTE_STRIDE, type) == nullptr + && has_static_range (TYPE_RANGE_DATA (range_type)) + && (!type_not_associated (type) + && !type_not_allocated (type))) + { + LONGEST low_bound, high_bound; + int stride; + struct type *element_type; + + /* If the array itself doesn't provide a stride value then take + whatever stride the range provides. Don't update BIT_STRIDE as + we don't want to place the stride value from the range into this + arrays bit size field. */ + stride = TYPE_FIELD_BITSIZE (type, 0); + if (stride == 0) + stride = TYPE_BIT_STRIDE (range_type); + + if (get_discrete_bounds (range_type, &low_bound, &high_bound) < 0) + low_bound = high_bound = 0; + element_type = check_typedef (TYPE_TARGET_TYPE (type)); + /* Be careful when setting the array length. Ada arrays can be + empty arrays with the high_bound being smaller than the low_bound. + In such cases, the array length should be zero. */ + if (high_bound < low_bound) + TYPE_LENGTH (type) = 0; + else if (stride != 0) + { + /* Ensure that the type length is always positive, even in the + case where (for example in Fortran) we have a negative + stride. It is possible to have a single element array with a + negative stride in Fortran (this doesn't mean anything + special, it's still just a single element array) so do + consider that case when touching this code. */ + LONGEST element_count = std::abs (high_bound - low_bound + 1); + TYPE_LENGTH (type) + = ((std::abs (stride) * element_count) + 7) / 8; + } + else + TYPE_LENGTH (type) = + TYPE_LENGTH (element_type) * (high_bound - low_bound + 1); + + return true; + } + + return false; +} + /* Create an array type using either a blank type supplied in RESULT_TYPE, or creating a new type, inheriting the objfile from RANGE_TYPE. @@ -1222,47 +1278,17 @@ create_array_type_with_stride (struct type *result_type, TYPE_CODE (result_type) = TYPE_CODE_ARRAY; TYPE_TARGET_TYPE (result_type) = element_type; - if (byte_stride_prop == NULL - && has_static_range (TYPE_RANGE_DATA (range_type)) - && (!type_not_associated (result_type) - && !type_not_allocated (result_type))) - { - LONGEST low_bound, high_bound; - int stride; - /* If the array itself doesn't provide a stride value then take - whatever stride the range provides. Don't update BIT_STRIDE as - we don't want to place the stride value from the range into this - arrays bit size field. */ - stride = bit_stride; - if (stride == 0) - stride = TYPE_BIT_STRIDE (range_type); + TYPE_NFIELDS (result_type) = 1; + TYPE_FIELDS (result_type) = + (struct field *) TYPE_ZALLOC (result_type, sizeof (struct field)); + TYPE_INDEX_TYPE (result_type) = range_type; + if (byte_stride_prop != NULL) + add_dyn_prop (DYN_PROP_BYTE_STRIDE, *byte_stride_prop, result_type); + else if (bit_stride > 0) + TYPE_FIELD_BITSIZE (result_type, 0) = bit_stride; - if (get_discrete_bounds (range_type, &low_bound, &high_bound) < 0) - low_bound = high_bound = 0; - element_type = check_typedef (element_type); - /* Be careful when setting the array length. Ada arrays can be - empty arrays with the high_bound being smaller than the low_bound. - In such cases, the array length should be zero. */ - if (high_bound < low_bound) - TYPE_LENGTH (result_type) = 0; - else if (stride != 0) - { - /* Ensure that the type length is always positive, even in the - case where (for example in Fortran) we have a negative - stride. It is possible to have a single element array with a - negative stride in Fortran (this doesn't mean anything - special, it's still just a single element array) so do - consider that case when touching this code. */ - LONGEST element_count = std::abs (high_bound - low_bound + 1); - TYPE_LENGTH (result_type) - = ((std::abs (stride) * element_count) + 7) / 8; - } - else - TYPE_LENGTH (result_type) = - TYPE_LENGTH (element_type) * (high_bound - low_bound + 1); - } - else + if (!calculate_static_array_size (result_type)) { /* This type is dynamic and its length needs to be computed on demand. In the meantime, avoid leaving the TYPE_LENGTH @@ -1273,15 +1299,6 @@ create_array_type_with_stride (struct type *result_type, TYPE_LENGTH (result_type) = 0; } - TYPE_NFIELDS (result_type) = 1; - TYPE_FIELDS (result_type) = - (struct field *) TYPE_ZALLOC (result_type, sizeof (struct field)); - TYPE_INDEX_TYPE (result_type) = range_type; - if (byte_stride_prop != NULL) - add_dyn_prop (DYN_PROP_BYTE_STRIDE, *byte_stride_prop, result_type); - else if (bit_stride > 0) - TYPE_FIELD_BITSIZE (result_type, 0) = bit_stride; - /* TYPE_TARGET_STUB will take care of zero length arrays. */ if (TYPE_LENGTH (result_type) == 0) TYPE_TARGET_STUB (result_type) = 1; @@ -2873,20 +2890,9 @@ check_typedef (struct type *type) TYPE_LENGTH (type) = TYPE_LENGTH (target_type); TYPE_TARGET_STUB (type) = 0; } - else if (TYPE_CODE (type) == TYPE_CODE_ARRAY) - { - struct type *range_type = check_typedef (TYPE_INDEX_TYPE (type)); - if (has_static_range (TYPE_RANGE_DATA (range_type))) - { - ULONGEST len = 0; - LONGEST low_bound = TYPE_LOW_BOUND (range_type); - LONGEST high_bound = TYPE_HIGH_BOUND (range_type); - if (high_bound >= low_bound) - len = (high_bound - low_bound + 1) * TYPE_LENGTH (target_type); - TYPE_LENGTH (type) = len; - TYPE_TARGET_STUB (type) = 0; - } - } + else if (TYPE_CODE (type) == TYPE_CODE_ARRAY + && calculate_static_array_size (type)) + TYPE_TARGET_STUB (type) = 0; } type = make_qualified_type (type, instance_flags, NULL); -- 2.26.2